search

evhub / pyprover

Resolution theorem proving for predicate logic in pure Python.
Apache License 2.0
91 stars 10 forks source link

Proof System Diagrams #2

Open vivekjoshy opened 3 years ago

vivekjoshy commented 3 years ago

Is it possible to use this library to create Fitch-style natural deduction or semantic tableaux tree diagrams?

evhub commented 3 years ago

Not currently, no. You can print out theorems, but they'll just be formatted like a statement in first-order logic, not a tree diagram.