Lean Proof of Fermat's Last Theorem

https://imperialcollegelondon.github.io/FLT/blueprint/

A formal verification project documenting the path towards a complete Lean proof of Fermat's Last...

Tokens:28,800
Snippets:453
Trust Score:9.7
Update:2 months ago
Tokens:
Raw