condet
mafu js
Condensed Detachment
Version 2.0.1 License MIT
Keywords
condensed detachmentmodus ponensATPtheorem provingautomated reasoningautomated deductionlogiccalculus
INSTALL
Requests 0
Bandwidth 0
Top version - 0
Full condet Download Stats 
ShareKeywords
condensed detachment
modus ponens
ATP
theorem proving
automated reasoning
automated deduction
logic
calculus
Get a badge for your package
