leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Explore GitHub Trending repositories tagged “proof-automation”.
Every repository shown here comes from the PostgreSQL Trending catalog.
Lean 3's obsolete mathematical components library: please use mathlib4