PyPI page
Home page
Author:
None
Summary:
Some scripts to help manipulate Coq developments and minimize error-producing Coq code
Latest version:
0.0.44
Required dependencies:
subprocess4
Optional dependencies:
coq-tools
|
pytest
|
pytest-doctestplus
|
resource
Downloads last day:
90
Downloads last week:
158
Downloads last month:
419