Pinned Loading

1. LinearOne LinearOne Public

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

   Prolog 18 2

2. Grail0 Grail0 Public

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

   Prolog 8 3

3. GrailLight GrailLight Public

   Light-weight chart parser for multimodal type-logical grammars

   Prolog 3

4. Grail Grail Public

   Grail is a theorem prover for multimodal type-logical grammars

   Prolog 9 2

5. models models Public

   French POS- and supertag models

   Makefile 1

6. Slides Slides Public

   Slides for some of my presentations

   1