Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover
Hacker News (score: 18)
Found: May 13, 2026
ID: 4642
Description
Other
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover
More from Hacker
No other tools from this source yet.