Metadata-Version: 2.0
Name: pyprover
Version: 0.2.0
Summary: A resolutional theorem prover for predicate logic in pure Python.
Home-page: https://github.com/evhub/pyprover
Author: Evan Hubinger
Author-email: evanjhub@gmail.com
License: UNKNOWN
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Operating System :: OS Independent

UNKNOWN


