Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
Simple verification of Rust programs via functional purification
-
lean-related presentations
-
-
Formalization of proofs from Analysis I in the Lean Theorem Prover.
-
-
An experimental category theory library for Lean
-
Tübingen Study Group for Homotopy Type Theory
-
Lean standard library (development)
-
Theorems proved using the Lean prover.
-
-
-
A build tool for the Lean programming language
-
Interface to SMT2 solvers
-
ATP for the Lean theorem prover based on the inverse path calculus.
-
-
Two-Level Type Theory
-
Solutions to the exercises in the HoTT book for the lean proof assistant
-
for my lean practice
-
-
Lean 1
-
Miscellaneous Lean code which doesn't belong in the standard library
-
Lean proof of alpha-conversion is easy
-
Some random notes and code fragments done while learning Lean theorem prover
Lean Built by -
Lean Built by
-
An experimental category theory library for Lean
