Helper toolkit for creating your own Lean 4 UserWidgets
(219 stars) (45 forks) (4 個已索引 issue) (4 個開放 good first issue)
倉庫
leanprover-community 的倉庫
The "batteries included" extended library for the Lean programming language and theorem prover
(406 stars) (154 forks) (2 個已索引 issue) (2 個開放 good first issue)
Lean 3's obsolete mathematical components library: please use mathlib4
(1,667 stars) (290 forks) (0 個已索引 issue) (0 個開放 good first issue)
The math library of Lean 4
(3,869 stars) (1,592 forks) (17 個已索引 issue) (17 個開放 good first issue)
A project to digitalise results from physics into Lean.
(642 stars) (139 forks) (5 個已索引 issue) (5 個開放 good first issue)