Reanimation of the First Automatic Theorem Prover (From 1956)
Posted 2 hours ago by
abrax3141
2
points
https://github.com/dmoews/logic-theorist
1
comments
Loading..