Statistics for language Lean
RepositoryStats tracks 534,880 Github repositories, of these 95 are reported to use a primary language of Lean.
Most starred repositories for language Lean (view more)
Trending repositories for language Lean (view more)
A simple REPL for Lean 4, returning information about errors and sorries.
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Lean 3's obsolete mathematical components library: please use mathlib4
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
The "batteries included" extended library for the Lean programming language and theorem prover
Lean 3's obsolete mathematical components library: please use mathlib4
An introduction to theorem proving in Lean for the impatient.