hooo 0.2.2

Propositional logic with exponentials
Documentation