{"library":"pyprover","type":"library","category":null,"description":"PyProver is a resolution theorem prover for first-order predicate logic, implemented in pure Python. It is written in Coconut, which compiles to universal Python, ensuring compatibility across various Python versions. The latest version is 0.6.2, released in March 2022. The project is currently in an alpha development stage and has an infrequent release cadence.","language":"python","status":"active","version":"0.6.2","tags":["theorem-proving","logic","predicate-logic","resolution-prover","first-order-logic","python"],"install":[{"cmd":"pip install pyprover","imports":["from pyprover import expr","from pyprover import proves","from pyprover import strict_proves","from pyprover import simplify","from pyprover import strict_simplify","from pyprover import ForAll","from pyprover import Exists","from pyprover import Eq","from pyprover import props","from pyprover import terms","from pyprover import *"]}],"homepage":null,"github":"https://github.com/evhub/pyprover","docs":null,"changelog":null,"pypi":"https://pypi.org/project/pyprover/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":100,"avg_install_s":1.7,"avg_import_s":0.55,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/pyprover/compatibility"},"provenance":{"verified_status":"passing","verified_at":"Sun Jun 28","last_verified":"Sun Jun 28","next_check":"Tue Jul 28","install_tag":null}}