Dépôts

Dépôts de leanprover-community

2 dépôts pris en charge

Afficher les dépôts avec des issues indexées
leanprover-community/mathlib3Lean

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

Dernier commit 30 oct. 2023

 (1 667 stars) (290 forks) (0 issues indexées) (0 good first issues ouvertes)
leanprover-community/mathlib4Lean

The math library of Lean 4

Dernier commit 7 juin 2026

 (3 405 stars) (1 381 forks) (0 issues indexées) (0 good first issues ouvertes)