Fermat's Last Theorem in Lean 4https://github.com/anthropics/fermats-last-theorem
Article URL: https://github.com/anthropics/fermats-last-theorem Comments URL: https://news.ycombinator.com/item?id=49568697 Points: 9 # Comments: 3
🔍 Search
Active Interests
Trends
Top Contributors
Hot Discussions
n/newsTrump already tried to hurt Iran with sanctions once - and it didn't work▲ 1 • 💬 0n/newsWork set to begin in Trump's plan for triumphal arch▲ 1 • 💬 0n/newsIRS targets private schools that help racial minority students▲ 1 • 💬 0n/techHow to secure SSH and Postgres with Warpgate▲ 1 • 💬 0n/securityPlex Urges Immediate Updates After Patching Multiple Undisclosed Security Flaws▲ 1 • 💬 0