PyPI page
Home page
Author:
Benjamin Brast-McKie
License:
GPL-3.0-or-later
Summary:
A hyperintensional theorem prover for developing and exploring programmatic semantic theories.
Latest version:
1.4.1
Required dependencies:
networkx
|
z3-solver
Optional dependencies:
ipython
|
ipywidgets
|
jupyter
|
matplotlib
|
networkx
|
pytest-timeout
|
pytest-xdist
Downloads last day:
19
Downloads last week:
151
Downloads last month:
898
7-day smoothing