Article URL: https://github.com/anthropics/fermats-last-theorem
Comments URL: https://news.ycombinator.com/item?id=49568697
Points: 9
# Comments: 3
Hacker News: Front Page
Fermat's Last Theorem in Lean 4
Shown as published in the source's RSS feed. IndiaAIFounders doesn't link out to third-party sites — this is the complete detail available from the feed itself.