evhub
pyprover
Python

Resolution theorem proving for predicate logic in pure Python.

Last updated Jun 1, 2026
98
Stars
11
Forks
3
Issues
0
Stars/day
Attention Score
7
Language breakdown
Python 99.8%
Makefile 0.2%
โ–ธ Files click to expand
README
No README available.

ยฉ 2026 GitRepoTrend ยท evhub/pyprover ยท Updated daily from GitHub