Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Article URL: https://fab.cba.mit.edu/classes/863.19/CBA/people/dsculley/index.html

Comments URL:

Article URL: https://viewfromthewing.com/83-

Article URL: https://bastian.rieck.me/blog/2025/fulbright/

Comments URL:

Article URL: https://stephango.com/ramblings

Comments URL: https://news.ycombinator.com

Article URL: https://ethanding.substack.com/p/ai-subscriptions-get-short-squeezed

Comments URL:

Article URL: https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-parser/

Comments URL:

Article URL: https://www.educationprogress.org/p/the-algebra-gatekeepers

Comments URL: