GitHub topics: proof-net
konstantinosKokos/aethel
A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar.
Language: Python - Size: 32.8 MB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3
konstantinosKokos/spindle
🕸️ An end-to-end neurosymbolic parser for Dutch.
Language: Python - Size: 105 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 1
konstantinosKokos/neural-proof-nets 📦
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
Language: Python - Size: 239 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
kovvalsky/prove_SICK_NL
Prove Ducth NLI problems of SICK-NL with LangPro
Language: Prolog - Size: 67.3 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3 - Forks: 0
RichardMoot/richardmoot.github.io
Richard Moot's personal homepage
Size: 5.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
RichardMoot/Grail
Grail is a theorem prover for multimodal type-logical grammars
Language: Prolog - Size: 2.01 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 2
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Language: Prolog - Size: 563 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2