propositional 0.1.0-alpha.1

Propositional Logic
Documentation