PyPI page
Home page
Author:
None
Summary:
A library to process Coq snippets embedded in documents, showing goals and messages for each Coq sentence.
Latest version:
2.0.0
Required dependencies:
beautifulsoup4
|
docutils
|
dominate
|
myst_parser
|
pygments
Optional dependencies:
sphinx
Downloads last day:
9
Downloads last week:
81
Downloads last month:
985