← All repos

leanprover-community/mathlib3

View on GitHub ↗ ★ 1,667 Lean archived

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

19 mentions on Hacker News by 15 people: 0 stories, 19 comments · first 2019-09-30 · latest 2023-12-09