pyprover
pyprover copied to clipboard
Resolution theorem proving for predicate logic in pure Python.
Results
3
pyprover issues
Sort by
recently updated
recently updated
newest added
Is it possible to use this library to create Fitch-style natural deduction or semantic tableaux tree diagrams?
enhancement
I have been trying different FOL expressions with quantifiers and equality (`Eq`). Firstly, `strict_proves` seems to provide incorrect results for many expressions. For example: ``` # Expression for testing whether...
bug
Could you please provide documentation tjat contains detailed examples so that we understand more