Conditionally complete Lean 4 Beal assembly with five explicit premises; companion computable level-26 foundations.
-
Updated
Sep 3, 2026 - Lean
#
fermats-last-theorem
Here are 3 public repositories matching this topic...
Language: All
Filter by language
A study project tracing Fermat’s Last Theorem from first principles — Frey curve, modular forms, Galois representations, Serre-Ribet-Wiles contradiction — via a 487-node knowledge graph, 43/43 Python verification tests, and Lean 4 concept references. Built through human–AI collaboration using natural language alone. Not peer-reviewed.
-
Updated
Jun 22, 2026 - Lean
Explorador interactivo del Último Teorema de Fermat: ternas por Euclides, curva de Lamé, casi-soluciones exactas y las curiosidades de Simpson y Ramanujan · FastAPI + canvas
numpy mathematics data-visualization number-theory fermat fastapi fermats-last-theorem pythagorean-triple
-
Updated
Aug 21, 2026 - JavaScript
Add this topic to your repo
To associate your repository with the fermats-last-theorem topic, visit your repo's landing page and select "manage topics."