propositional 0.1.0-alpha.2

Propositional Logic
Documentation