PyPI page
Home page
Author:
Patrick Massot, Peter LeFanu Lumsdaine, Andrej Bauer, Reinis Cirpons
Summary:
Rocq prover blueprint plasTeX plugin.
Latest version:
0.0.9
Required dependencies:
click
|
gitpython
|
jinja2
|
plastex
|
plastexdepgraph
|
plastexshowmore
|
rich
|
rich-click
|
tomlkit
Downloads last day:
2
Downloads last week:
46
Downloads last month:
94