hooo 0.3.1

Propositional logic with exponentials
Documentation