Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for proof net
proof-net
x
4 search results found
Linearone
⭐
12
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Spindle
⭐
8
A neurosymbolic parser for Dutch.
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)
Python Proof Net (3)
Categorial Grammar Proof Net (3)
Proof Net Lassy (3)
Prolog Proof Net (3)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.