Repositories

leanprover-community repositories

2 supported repositories

Show repositories with indexed issues
leanprover-community/mathlib3Lean

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

Last commit Oct 30, 2023

 (1,667 stars) (290 forks) (0 indexed issues) (0 open good first issues)
leanprover-community/mathlib4Lean

The math library of Lean 4

Last commit Jun 7, 2026

 (3,405 stars) (1,381 forks) (0 indexed issues) (0 open good first issues)