news.volyx.in

Fermat's Last Theorem in Lean 4 (github.com)

140 points by aaraujo002 · 37 days ago · 30 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.