RSS BotMB to Lobste.rsEnglish · 22 days 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 · 22 days agomessage-square0fedilinkfile-textcross-posted to: programming@programming.dev
