∃∀λ@programming.dev to math@lemmy.worldEnglish · 23 days agoTerence Tao's 'QED' is an interactive textbook for the web which teaches propositional and first-order logicteorth.github.ioexternal-linkmessage-square0linkfedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkTerence Tao's 'QED' is an interactive textbook for the web which teaches propositional and first-order logicteorth.github.io∃∀λ@programming.dev to math@lemmy.worldEnglish · 23 days agomessage-square0linkfedilink
