pitmonticone / FLT3

A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.

https://pitmonticone.github.io/FLT3/

Geek Repo

Github PK Tool