Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Hacker News (score: 92)
Found: July 31, 2025
ID: 651
Description
Other
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...
More from Hacker
Scaling request logging with ClickHouse, Kafka, and Vector
Scaling request logging with ClickHouse, Kafka, and Vector
No other tools from this source yet.