Helper toolkit for creating your own Lean 4 UserWidgets
(219 stars) (45 forks) (4 issues indexadas) (4 good first issues abertas)
Repositórios
Repositórios de leanprover-community
The "batteries included" extended library for the Lean programming language and theorem prover
(406 stars) (154 forks) (2 issues indexadas) (2 good first issues abertas)
Lean 3's obsolete mathematical components library: please use mathlib4
(1.667 stars) (290 forks) (0 issues indexadas) (0 good first issues abertas)
The math library of Lean 4
(3.405 stars) (1.381 forks) (16 issues indexadas) (16 good first issues abertas)
A project to digitalise results from physics into Lean.
(642 stars) (139 forks) (3 issues indexadas) (3 good first issues abertas)