Try again to bump mathlib - Githubissues

ImperialCollegeLondon / FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Apache License 2.0

262 stars 48 forks source link

Try again to bump mathlib #199

Closed kbuzzard closed 3 weeks ago