RichardMoot/Grail0 RichardMoot/Grail0

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Prolog
  • License
    GNU Lesser Genera...
  • Created over 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RichardMoot/Grail0
github

RichardMoot

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

LinearOne

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

Grail

Grail is a theorem prover for multimodal type-logical grammars
Prolog
7
star
3

GrailLight

Light-weight chart parser for multimodal type-logical grammars
Prolog
3
star
4

models

French POS- and supertag models
Makefile
1
star
5

Slides

Slides for some of my presentations
1
star
6

DeepGrail

Deep Learning version of the POS-tagger/supertagger for GrailLight
Jupyter Notebook
1
star