mathlib
51ad2a18 - chore(*): update to Lean 3.16.2c (#3053)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

chore(*): update to Lean 3.16.2c (#3053)

Author

bryangingechen

bryangingechen

Parents

FAQ Terms Privacy Refunds Impressum

Loading