OurBigBook  About $ Donate

 Sign in Sign up

Ciro Santilli @cirosantilli 40

 Tagged: Formalization of X

 Show bodyBody

Formalization of Fermat's last theorem 2026-01-30

github.com/ImperialCollegeLondon/FLT

 Read the full article

Total articles: 1

 About $ Donate  Content license: CC BY-SA 4.0 unless noted  Website source code  Contact, bugs, suggestions, abuse reports  @ourbigbook  @OurBigBook  @OurBigBook