hooo 0.3.5

Propositional logic with exponentials
Documentation