mathlib
2c4f783e - Update default.lean

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

Update default.lean

Author

foxthomson

foxthomson

Parents

FAQ Terms Privacy Refunds Impressum

Loading