search

ImperialCollegeLondon / FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Apache License 2.0
262 stars 48 forks source link

chore: fix bump #226

Closed pitmonticone closed 4 days ago

pitmonticone commented 5 days ago

null

Closes #225

kbuzzard commented 4 days ago

Thanks!