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,777
Downloads last week:
11,048
Downloads last month:
31,309
7-day smoothing