Lists (13)
Stars
13
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
A collection of formalized statements of conjectures in Lean.
Tactics for discharging Lean goals into SMT solvers.
Source code for the Mathematics in Lean tutorial.
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Formalisation of the Kelley-Meka bound on Roth numbers