Statistics for language Lean
RepositoryStats tracks 596,218 Github repositories, of these 122 are reported to use a primary language of Lean.
Most starred repositories for language Lean (view more)
Trending repositories for language Lean (view more)
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A project to digitalise results from high energy physics into Lean.
A simple REPL for Lean 4, returning information about errors and sorries.
A project to digitalise results from high energy physics into Lean.
A simple REPL for Lean 4, returning information about errors and sorries.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
The "batteries included" extended library for the Lean programming language and theorem prover
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A simple REPL for Lean 4, returning information about errors and sorries.
A simple REPL for Lean 4, returning information about errors and sorries.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A project to digitalise results from high energy physics into Lean.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
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.
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
blueprint for prime number theorem and more
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
