PyPI page
Home page
Author:
None
License:
GPL-3.0-or-later
Summary:
A hyperintensional theorem prover for developing and and exploring programmatic semantic theories.
Latest version:
1.2.12
Required dependencies:
networkx
|
z3-solver
Optional dependencies:
ipython
|
ipywidgets
|
jupyter
|
matplotlib
|
networkx
Downloads last day:
47
Downloads last week:
830
Downloads last month:
979