A collection of formalized statements of conjectures in Lean.
Latest commits.
Builders behind this project.
