Search results
4 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, 3 years ago0 dependents licensed under $MIT
55
Connecting to the TPTP Problem Library
published version 1.0.1, 4 months ago0 dependents licensed under $BSD
7
Automated theorem prover for first-order predicate logic based on resolution
published version 0.2.0, 4 years ago0 dependents licensed under $MIT
5
this is test module package, please ignore it. this would be remove soon.
published version 1.0.1, 6 years ago0 dependents licensed under $ISC
4