This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Jan Marthedal Rasmussen
janmr.com
did:plc:vu6qczmz4fwvt5hylbxjlcd6
An ongoing multi-author open source project to formalise a proof of Fermat's Last Theorem in the Lean theorem prover imperialcollegelondon.github.io/FLT/ #lean
https://imperialcollegelondon.github.io/FLT/
2025-05-19T10:53:37.945Z