Helper toolkit for creating your own Lean 4 UserWidgets
(219 stars) (45 forks) (4 indexed issues) (4 open good first issues)
Repositories
leanprover-community repositories
The "batteries included" extended library for the Lean programming language and theorem prover
(406 stars) (154 forks) (2 indexed issues) (2 open good first issues)
Lean 3's obsolete mathematical components library: please use mathlib4
(1,667 stars) (290 forks) (0 indexed issues) (0 open good first issues)
The math library of Lean 4
(3,405 stars) (1,381 forks) (16 indexed issues) (16 open good first issues)
A project to digitalise results from physics into Lean.
(642 stars) (139 forks) (3 indexed issues) (3 open good first issues)