search

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

Add examples #3

Closed RichardMoot closed 9 years ago

RichardMoot commented 9 years ago

Add many more examples from the papers of Morrill e.a. and Kubota & Levine as additional test cases.

RichardMoot commented 9 years ago

Added most examples from both Morrill e.a. and Kubota & Levine. I will continue to add new examples, but the current set provides enough useful illustrations