Last released Jul 30, 2024
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators.
Supported by
