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

Variable names #1

Closed RichardMoot closed 9 years ago

RichardMoot commented 9 years ago

The variable renaming can produce inconsistent results in complex cases. This needs to be corrected.

RichardMoot commented 9 years ago

This problem seems to have been resolved after last commit. I'm closing this issue.