leanprover-community / batteries
The "batteries included" extended library for the Lean programming language and theorem prover
See what the GitHub community is most excited about today.
The "batteries included" extended library for the Lean programming language and theorem prover
The math library of Lean 4
Intuitive, type-safe expression quotations for Lean 4.
Helper toolkit for creating your own Lean 4 UserWidgets
White-box automation for Lean 4
Lean 4 programming language and theorem prover