RichardMoot / LinearOneLinks

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
20Updated 4 years ago

Alternatives and similar repositories for LinearOne

Users that are interested in LinearOne are comparing it to the libraries listed below

Sorting: