issues
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
Features
#26
Closed
RichardMoot
closed
9 years ago
RichardMoot
commented
9 years ago
Added rudimentary support for features to the main branch.
Added rudimentary support for features to the main branch.