Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for proof net categorial grammar
categorial-grammar
x
proof-net
x
2 search results found
Grail
⭐
6
Grail is a theorem prover for multimodal type-logical grammars
Aethel
⭐
5
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
Related Searches
Linear Logic Proof Net (4)
Dutch Proof Net (4)
Grammar Proof Net (3)
Proof Net Lassy (3)
Python Proof Net (3)
Prolog Proof Net (3)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.