anthropics/fermats-last-theorem

↗ Auf GitHub öffnen

Sterne

1.005

Forks

83

Sprache

Lean

Lizenz

Apache-2.0

Letzter Push

vor 6 Tagen

Hacker News Startseitevor 6 Tagen

Fermat's Last Theorem in Lean 4

Fermats letzter Satz in Lean 4 bewiesen.

von aaraujo002141 Punkte31 KommentareDiskussion → GitHub-Repo: anthropics/fermats-last-theorem