Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / evhub / pyprover
Resolution theorem proving for predicate logic in pure Python.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/evhub%2Fpyprover
Stars: 88
Forks: 8
Open Issues: 3
License: apache-2.0
Language: Python
Repo Size: 344 KB
Dependencies:
3
Created: about 7 years ago
Updated: about 1 month ago
Last pushed: 6 months ago
Last synced: 25 days ago
Commit Stats
Commits: 94
Authors: 3
Mean commits per author: 31.33
Development Distribution Score: 0.096
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/evhub/pyprover
Topics: coconut, first-order-logic, prover, python, theorem-prover, theorem-proving
Funding links: https://github.com/sponsors/evhub
Files
Dependencies
- actions/checkout v3 composite
- actions/setup-python v4 composite
- pypa/gh-action-pypi-publish release/v1 composite