PyPI page
Home page
Author:
Lasse Blaauwbroek
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:
1
Downloads last week:
21
Downloads last month:
62
7-day smoothing