Cut elimination - Githubissues

RichardMoot / LinearOne

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

GNU Lesser General Public License v2.1

18 stars 2 forks source link

Closed RichardMoot closed 9 years ago