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