Hacker GitHub

← All repos

anthropics/fermats-last-theorem

View on GitHub ↗ ★ 1,309 Lean

5 mentions on Hacker News by 4 people: 1 story, 4 comments · first 2026-09-04 · latest 2026-09-05

Mentions per year 5 mentions · busiest year 2026 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 146
    Fermat's Last Theorem in Lean 4
    story by aaraujo002 · 2026-09-04 · 31 comments