/LinearOne

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

Primary LanguagePrologGNU Lesser General Public License v2.1LGPL-2.1

Watchers