YHacker Newsscreenshots

imperialcollegelondon.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of imperialcollegelondon.github.io: Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (imperialcollegelondon.github.io)

119 points by ljlolel 1 year ago | 85 comments