/Grail0

Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output

Primary LanguagePrologGNU Lesser General Public License v3.0LGPL-3.0

Watchers