Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Latest commit

 

History

History
7 lines (5 loc) · 288 Bytes

README.md

File metadata and controls

7 lines (5 loc) · 288 Bytes

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.)