Helper toolkit for creating your own Lean 4 UserWidgets
(219 Stars) (45 Forks) (4 indexierte Issues) (4 offene 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 indexierte Issues) (2 offene good first issues)
Lean 3's obsolete mathematical components library: please use mathlib4
(1.667 Stars) (290 Forks) (0 indexierte Issues) (0 offene good first issues)
The math library of Lean 4
(3.405 Stars) (1.381 Forks) (16 indexierte Issues) (16 offene good first issues)
A project to digitalise results from physics into Lean.
(642 Stars) (139 Forks) (3 indexierte Issues) (3 offene good first issues)