Statistics for language Lean
RepositoryStats tracks 609,030 Github repositories, of these 126 are reported to use a primary language of Lean.
Most starred repositories for language Lean (view more)
Trending repositories for language Lean (view more)
The "batteries included" extended library for the Lean programming language and theorem prover
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
The "batteries included" extended library for the Lean programming language and theorem prover
The matrix cookbook, proved in the Lean theorem prover
The "batteries included" extended library for the Lean programming language and theorem prover
tool for turning Lean proofs into Blender animations
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
A project to digitalise results from high energy physics into Lean.
A (WIP) equality saturation tactic for Lean based on egg.
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
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.
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
blueprint for prime number theorem and more
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
