Last released Nov 5, 2025
A hyperintensional theorem prover for developing and and exploring programmatic semantic theories.
Supported by
