Last released Aug 13, 2026
A hyperintensional theorem prover for developing and exploring programmatic semantic theories.
Supported by
