Repositories

leanprover-community Repositories

2 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
leanprover-community/mathlib3Lean

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

Letzter Commit 30. Okt. 2023

 (1.667 Stars) (290 Forks) (0 indexierte Issues) (0 offene good first issues)
leanprover-community/mathlib4Lean

The math library of Lean 4

Letzter Commit 7. Juni 2026

 (3.405 Stars) (1.381 Forks) (0 indexierte Issues) (0 offene good first issues)