pyprover
Resolution theorem proving for predicate logic in pure Python.
v0.6.2by Evan Hubinger
No known vulnerabilities in the latest version
Exclude CI/CDPRO
Best Day
243
Mar 17
Worst Day
13
Mar 15
Peaks On
Tues
192 avg
Quietest
Suns
40 avg
Download Trend
Badge
Markdown
[](/packages/pyprover)
HTML
<a href="/packages/pyprover"><img src="/api/badges/pyprover?period=month" alt="PyPI Stats"></a>