Pulse
96
Velocity
1.3x
Stars
746
A formally verified, machine-checked proof of Fermat's Last Theorem in Lean.
A machine-verified proof of Fermat's Last Theorem using Lean 4.
The first complete, machine-checked proof of Fermat's Last Theorem.
Why Trending
Demonstrates advanced capabilities of formal proof systems.
Target Audience
Mathematicians, formal verification researchers
Similar Projects