dmoews/logic-theorist

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

26 best points · 1 comments · 1 Hacker News post · 10 GitHub stars · View on GitHub

Hacker News discussions

• Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover (26 points, 1 comments, by abrax3141, 2026-05-13)