GitHub - evhub/pyprover: Resolution theorem proving for predicate logic in pure Python. - discu.eu

Reddit

GitHub - evhub/pyprover: Resolution theorem proving for predicate logic in pure Python. https://github.com/evhub/pyprover 2 comments 10/9/2023 python

Linked pages

Coconut Programming Language http://coconut-lang.org/ 616 comments

Would you like to stay up to date with Python? Checkout Python Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - evhub/pyprover: Resolution theorem proving for predicate logic in pure Python.

See how to search.

Submit link to: