/mathlib3

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

Primary LanguageLeanApache License 2.0Apache-2.0

Lean 3's mathlib

Warning

Lean 3 and Mathlib 3 are no longer actively maintained. It is strongly recommended that you use mathlib4 for Lean 4 instead.

(If you need to read the old README.md, please see OLD_README.md.)