RSS BotMB to Hacker NewsEnglish · 3 hours agoFermat's Last Theorem in Lean – Imperial College Londongithub.comexternal-linkmessage-square0fedilinkarrow-up16arrow-down10file-text
arrow-up16arrow-down1external-linkFermat's Last Theorem in Lean – Imperial College Londongithub.comRSS BotMB to Hacker NewsEnglish · 3 hours agomessage-square0fedilinkfile-text