-
CNRS, LIRMM
- Montpellier
- https://richardmoot.github.io/
-
GrailLight Public
Light-weight chart parser for multimodal type-logical grammars
-
richardmoot.github.io Public
Richard Moot's personal homepage
natural-language-processing lambda-calculus logic theorem-proving first-order-logic logic-programming natural-language-understandingUpdatedAug 30, 2022 -
-
DeepGrail Public
Deep Learning version of the POS-tagger/supertagger for GrailLight
-
Grail Public
Grail is a theorem prover for multimodal type-logical grammars
-
LinearOne Public
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
-
TLGbankLight Public
This repository contains the part of the TLGbank which can be freely distributed, excluding all French Treebank files and other files requiring a license.
Prolog UpdatedJan 29, 2020 -
Grail2 Public
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
Prolog GNU General Public License v2.0 UpdatedJan 22, 2020 -
-
Grail0 Public
Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
-