search

Deducteam / zenon_modulo

First-order automated theorem prover based on the tableau method
Other
12 stars 6 forks source link

Print a lambdapi term even if the negated conjecture is not a negation (close #14) #15

Closed gburel closed 1 year ago