RSS BotMB to Lobste.rsEnglish · 22 days agoHomotopy Type Theory for Dummieswww.chriswarbo.netexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkHomotopy Type Theory for Dummieswww.chriswarbo.netRSS BotMB to Lobste.rsEnglish · 22 days agomessage-square0fedilinkfile-text
