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