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
Hybrid proofs
#16
Closed
RichardMoot
closed
9 years ago
RichardMoot
commented
9 years ago
Separated generate_proof into several dedicated special cases
Separated different lexicon output predicates