Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
-
Updated
Dec 16, 2015 - Prolog
Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
Add a description, image, and links to the multimodal-categorial-grammars topic page so that developers can more easily learn about it.
To associate your repository with the multimodal-categorial-grammars topic, visit your repo's landing page and select "manage topics."