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
chore: bump mathlib
#198
Closed
kbuzzard
closed
3 weeks ago