pyprover

Resolution theorem proving for predicate logic in pure Python.

APACHE-2.0 License

Downloads
4K
Stars
91
Committers
2
View Code on GitHub View on X
Ecosystems: Python

Commit Statistics

Past Year

All Time

Total Commits
94
Total Committers
3
Avg. Commits Per Committer
31.33
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
1
Merged Pull Requests
0
1
Total Issues
0
5
Time to Close Issues
N/A
3 days
Package Rankings
Top 9.19% on Pypi.org
Related Projects
coconut-prelude

An implementation of Haskell's Prelude in Python using Coconut.

26 Feb 2018 21
gamepad

A Learning Environment for Theorem Proving

31 May 2018 71
pycoq

Python bindings for the Coq interactive proof assistant

23 Sep 2021 50
Expression

Pragmatic functional programming for Python inspired by F#

23 Sep 2020 405
LibCST

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Py...

06 Aug 2019 1,394