mathlib3
733e6e34 - chore(*): update lean to 3.32.1 (#8652)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

4 years ago

chore(*): update lean to 3.32.1 (#8652)

Author

digama0

digama0

Parents

FAQ Terms Privacy Refunds Impressum

Loading