anthropics/fermats-last-theorem

↗ Open on GitHub

Stars

1,081

Forks

89

Language

Lean

License

Apache-2.0

Last push

7 days ago

Hacker News Front Page7 days ago

Fermat's Last Theorem in Lean 4

by aaraujo002141 points31 commentsDiscussion → GitHub repo: anthropics/fermats-last-theorem