Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "theorem prover" keyword
opengrammar 0.1.0a0 💰
Open Source Inference Engine1 version - Latest release: over 1 year ago - 8 downloads last month - 1 stars on GitHub - 1 maintainer
model-checker 0.3.1
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory...53 versions - Latest release: 17 days ago - 3.86 thousand downloads last month - 1 stars on GitHub - 2 maintainers
pddl-prover 1.0.0
A python prover for evaluating FOL formulas on PDDL1 version - Latest release: 6 months ago - 12 downloads last month - 2 stars on GitHub - 1 maintainer