Richard Moot

https://richardmoot.github.io/

CNRS, LIRMM Montpellier I’m a CNRS research scientist in computer science, working at LIRMM (Montpellier) as a member of the Texte team in computational linguistics.

Results 1 repositories owned by


                                            Richard Moot

LinearOne

18

Stars

2

Forks

Watchers

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

RichardMoot

displacement-calculus-grammars

first-order-logic

latex

linear-logic