discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
GitHub - evhub/pyprover: Resolution theorem proving for predicate logic in pure Python.
https://github.com/evhub/pyprover
2 comments
10/9/2023
python