Helper toolkit for creating your own Lean 4 UserWidgets
(219 star) (45 fork) (4 issue indicizzate) (4 good first issue aperte)
Repository
Repository di leanprover-community
The "batteries included" extended library for the Lean programming language and theorem prover
(406 star) (154 fork) (2 issue indicizzate) (2 good first issue aperte)
Lean 3's obsolete mathematical components library: please use mathlib4
(1667 star) (290 fork) (0 issue indicizzate) (0 good first issue aperte)
The math library of Lean 4
(3869 star) (1592 fork) (17 issue indicizzate) (17 good first issue aperte)
A project to digitalise results from physics into Lean.
(642 star) (139 fork) (5 issue indicizzate) (5 good first issue aperte)