Search results
2 packages found
Sort by: Default
- Default
- Most downloaded this week
- Most downloaded this month
- Most dependents
- Recently published
Condensed Detachment
- condensed detachment
- modus ponens
- ATP
- theorem proving
- automated reasoning
- automated deduction
- logic
- calculus
published version 2.0.1, 4 years ago0 dependents licensed under $MIT
115
Connecting to the TPTP Problem Library
published version 1.0.1, 6 months ago0 dependents licensed under $BSD
72