/mathlib3

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

Primary LanguageLeanApache License 2.0Apache-2.0

Watchers