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