A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators. - View it on GitHub