Get the latest tech news
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover. - dmoews/logic-theorist
None
Or read this on Hacker NewsRead more on:
Related news:
