Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

by abrax3141 | View on Hacker News