issues
search
ImperialCollegeLondon
/
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Apache License 2.0
262
stars
48
forks
source link
bump mathlib
#200
Closed
mhuisi
closed
3 weeks ago