リポジトリ

leanprover-community のリポジトリ

2 件の対応リポジトリ

索引済み issue があるリポジトリを表示
leanprover-community/mathlib3Lean

Lean 3's obsolete mathematical components library: please use mathlib4

最終コミット 2023年10月30日

 (1,667 stars) (290 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
leanprover-community/mathlib4Lean

The math library of Lean 4

最終コミット 2026年6月7日

 (3,405 stars) (1,381 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)