PyPI page
Home page
Author:
Philip Zucker
Summary:
Interactive Theorem Prover
Latest version:
0.3.0
Required dependencies:
graphviz
|
lark
|
sympy
|
z3-solver
Optional dependencies:
cffi
|
cle
|
click
|
cloudpickle
|
cvc5
|
dd
|
egglog
|
hypothesis
|
jupyter
|
maturin
|
nbclient
|
py-aiger
|
pypcode
|
pytest
|
python-flint
|
yowasp-yosys
|
ziglang
Downloads last day:
8
Downloads last week:
39
Downloads last month:
76