issues
search
ImperialCollegeLondon
/
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Apache License 2.0
244
stars
45
forks
source link
Updates available and ready to merge
#159
Closed
github-actions[bot]
closed
1 month ago
github-actions[bot]
commented
1 month ago
To do: add useful details here...
To do: add useful details here...