The goal of this project is to make a propositional calculus expert system
Primary LanguagePython
This repository is not active