Hacker GitHub

← All repos

ImperialCollegeLondon/FLT

View on GitHub ↗ ★ 1,056 Lean

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

9 mentions on Hacker News by 8 people: 2 stories, 7 comments · first 2024-12-12 · latest 2026-09-04

Mentions per year 9 mentions · busiest year 2025 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    A Lean Formalisation of Fermat's Last Theorem
    story by bcye · 2025-09-04 · 0 comments
  2. ▲ 127
    Ongoing Lean formalization of the proof for Fermat's Last Theorem
    story by anonyonoor · 2025-07-31 · 79 comments