💻 **Reanimation of the First Automatic Theorem Prover (From 1956)**

Article URL: https://github.com/dmoews/logic-theorist Comments URL: https://news.ycombinator.com/item?id=48116935 Points: 1 # Comments: 1

🔗 https://github.com/dmoews/logic-theorist

#tech #news