GitHub repository: snomura1/pyprover
Description: Resolution theorem proving for predicate logic in pure Python.