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.
๐ More in this category