Here are
7 public repositories
matching this topic...
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Updated
Nov 12, 2020
Prolog
A neurosymbolic parser for Dutch.
Updated
Mar 28, 2024
Python
Grail is a theorem prover for multimodal type-logical grammars
Updated
Feb 11, 2021
Prolog
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
Updated
Nov 24, 2023
Python
Prove Ducth NLI problems of SICK-NL with LangPro
Updated
Nov 10, 2023
Prolog
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
Updated
Dec 29, 2022
Python
Richard Moot's personal homepage
Improve this page
Add a description, image, and links to the
proof-net
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
proof-net
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.