Create, manipulate, and verify propositional logic sentences - View it on GitHub