hooo (cargo): Propositional logic with exponentials
Keywords: advancedresearch|proving|assistant|theorem|exponentials