923 followers
RT @whitequark: .@alt_kia yes. you can use DNA to encode theorem provers with propositional logic https://t.co/XqYFT6cQtK and PROLOG https:…
RT @whitequark: .@alt_kia yes. you can use DNA to encode theorem provers with propositional logic https://t.co/XqYFT6cQtK and PROLOG https:…
.@alt_kia yes. you can use DNA to encode theorem provers with propositional logic https://t.co/XqYFT6cQtK and PROLOG https://t.co/ahfis3F7ax