3 skills are using this tag
benbrastmckie / ModelChecker
A hyperintensional theorem prover for rapidly prototyping modular semantic theories
