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)