Automated deduction Packages

condet

Condensed Detachment

condensed detachment modus ponens ATP theorem proving automated reasoning automated deduction logic calculus

2.0.1 • Published 4 years ago