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