Abstract: The goal of this project is to make a propositional calculus expert system.
Primary LanguagePython