hooo 0.2.0

Propositional logic with exponentials
Documentation