linear-logic
Here are 21 public repositories matching this topic...
Richard Moot's personal homepage
-
Updated
Aug 30, 2022
This is a bibliography of papers using substructural logics in security
-
Updated
Apr 28, 2017
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
-
Updated
Jan 22, 2020 - Prolog
Agda formalization of the Attack Tree Linear Logic
-
Updated
Jul 29, 2018 - Agda
A latex package to draw the most general interaction nets: with multiports and multiwires (a.k.a. hyperedges)
-
Updated
Jul 28, 2017 - TeX
Automated theorem prover for a linear logic-based calculus for molecular biology.
-
Updated
Jun 10, 2023 - Haskell
-
Updated
Apr 16, 2023 - Agda
Espèces généralisées de structures sur les groupoïdes
-
Updated
Jul 28, 2022 - Agda
Developing a type system for a minimal reversible functional language.
-
Updated
Aug 30, 2018 - TeX
a library for experimental linear lambda calculus
-
Updated
Mar 18, 2023 - Haskell
A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)
-
Updated
Jul 27, 2018 - Standard ML
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
-
Updated
Oct 8, 2018 - Prolog
A Haskell EDSL for conducting threat analysis using Attack Trees
-
Updated
Oct 22, 2018 - Haskell
A neurosymbolic parser for Dutch.
-
Updated
Mar 28, 2024 - Python
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
-
Updated
Dec 29, 2022 - Python
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
-
Updated
Nov 12, 2020 - Prolog
-
Updated
Jan 20, 2019 - Java
A place to collect work on dialectica categories.
-
Updated
May 23, 2024 - TeX
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
Improve this page
Add a description, image, and links to the linear-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the linear-logic topic, visit your repo's landing page and select "manage topics."