RSS Bot@lemmy.bestiver.seMB to Lobste.rs@lemmy.bestiver.seEnglish · 6 months agoBeyond Booleans: Propositions in Leanoverreacted.ioexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10file-textcross-posted to: programmingprogramming_languages
arrow-up12arrow-down1external-linkBeyond Booleans: Propositions in Leanoverreacted.ioRSS Bot@lemmy.bestiver.seMB to Lobste.rs@lemmy.bestiver.seEnglish · 6 months agomessage-square0linkfedilinkfile-textcross-posted to: programmingprogramming_languages
