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
White-box automation for Lean 4
Lean 4 programming language and theorem prover
Helper toolkit for creating your own Lean 4 UserWidgets
Intuitive, type-safe expression quotations for Lean 4.