Metadata-Version: 1.1
Name: pyprover
Version: 0.0.2
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
Description: UNKNOWN
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Topic :: Utilities
Classifier: Operating System :: OS Independent
