PyPI page
Home page
Author:
License:
MIT
Summary:
Python Library for interfacing with Coq and Tactician
Latest version:
15.1
Required dependencies:
graphviz
|
immutables
|
inflection
|
jinja2
|
pycapnp
|
sanic
|
sanic-ext
Downloads last day:
0
Downloads last week:
12
Downloads last month:
58