RSS BotMB to Lobste.rsEnglish · 1 day agoBeyond Booleans: Propositions in Leanoverreacted.ioexternal-linkmessage-square0fedilinkarrow-up12arrow-down10file-textcross-posted to: programming@programming.dev
arrow-up12arrow-down1external-linkBeyond Booleans: Propositions in Leanoverreacted.ioRSS BotMB to Lobste.rsEnglish · 1 day agomessage-square0fedilinkfile-textcross-posted to: programming@programming.dev
