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
#221
Closed
kbuzzard
closed
1 week ago