RSS BotMB to Hacker NewsEnglish · 5 hours agoProject to formalise a proof of Fermat’s Last Theorem in the Lean theorem proverimperialcollegelondon.github.ioexternal-linkmessage-square0fedilinkarrow-up14arrow-down10file-text
arrow-up14arrow-down1external-linkProject to formalise a proof of Fermat’s Last Theorem in the Lean theorem proverimperialcollegelondon.github.ioRSS BotMB to Hacker NewsEnglish · 5 hours agomessage-square0fedilinkfile-text
