advancedresearch / hooo

Propositional logic with exponentials
18Updated 3 weeks ago

Alternatives and similar repositories for hooo:

Users that are interested in hooo are comparing it to the libraries listed below