All Git Users → RichardMoot

1 open source projects by RichardMoot

[ Open user page on Github ]

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

✭ 16

prolog latex theorem-proving first-order-logic swi-prolog linear-logic proof-net displacement-calculus-grammars

1-1 of 1 user projects