PyPI page
Home page
Author:
Patrick Massot
Summary:
Lean prover blueprint plasTeX plugin.
Latest version:
0.0.20
Required dependencies:
click
|
gitpython
|
jinja2
|
plastex
|
plastexdepgraph
|
plastexshowmore
|
rich
|
rich-click
|
tomlkit
Downloads last day:
1,161
Downloads last week:
6,495
Downloads last month:
19,156