Hacker News Digest

31 июля 2025 г. в 13:59 • github.com • ⭐ 127 • 💬 79

OriginalHN

#mathematics#theorems#formalization#proofs#fermats-last-theorem#github

Ongoing Lean formalization of the proof for Fermat's Last Theorem

No post summary.