Lean
Formalisation of the Kelley-Meka bound on Roth numbers
Latest commits.
Builders behind this project.
