condet (npm): Condensed Detachment
Keywords: condensed detachment|modus ponens|ATP|theorem proving|automated reasoning|automated deduction|logic|calculus