First order logic theorem prover in pure Pythonhttps://github.com/evhub/pyprover by gattilorenz • 3 years ago 1 0 3 years agoGIgithub.com