gentoo.mahdi.cz
dev-python
:pyprover
Resolution theorem proving for predicate logic in pure Python.
https://github.com/evhub/pyprover
pyprover-0.6.2
download
~amd64 ~x86
pypi