leanprover / lean4
Lean 4 programming language and theorem prover
See what the GitHub community is most excited about today.
Lean 4 programming language and theorem prover
A Lean companion to Analysis I
Blueprint for the PNT+ Project
A minimal development of SSA theory
Definitional implementation of Cedar language and utilities for DRT
Formalization of Mathematical Logic
A collection of formalized statements of conjectures in Lean.
A project to digitalise results from physics into Lean.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A formalized proof of Carleson's theorem in Lean
コード例で学ぶ Lean 言語
A project to map out the relations between different equational theories of Magmas.
The math library of Lean 4
Lean documentation authoring tool
The Lean Computer Science Library (CSLib)
The "batteries included" extended library for the Lean programming language and theorem prover
The Lean reference manual
Formally Verified Arguments of Knowledge in Lean
Lean circuit DSL