Recreation of the 1956 IPL-I version of the Logic Theorist theorem provergithub.com/dmoews26 pointsabrax3141a month ago