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)