hooo 0.2.4

Propositional logic with exponentials
Documentation