RichardMoot / LinearOne Star 20 Code Issues Pull requests LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic. latex theorem-proving first-order-logic logic-programming swi-prolog linear-logic proof-net displacement-calculus-grammars Updated Nov 12, 2020 Prolog
wenkokke / swillprover Star 9 Code Issues Pull requests a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog tool swi-prolog proof-automation linear-logic Updated Oct 8, 2018 Prolog
RichardMoot / Grail2 Star 0 Code Issues Pull requests Grail 2 theorem prover in SICStus Prolog with TclTk user interface parser tcltk theorem-proving logic-programming sicstus-prolog categorial-grammar linear-logic Updated Jan 22, 2020 Prolog