PyPI page
Home page
Author:
Oliver Dressler
License:
MIT
Summary:
Interact with the Lean theorem prover language server
Latest version:
0.13.2
Required dependencies:
orjson
|
psutil
|
tqdm
|
watchfiles
Optional dependencies:
gprof2dot
|
ipykernel
|
psutil
|
pytest
|
pytest-benchmark
|
pytest-cov
|
pytest-html
|
pytest-sugar
|
pytest-timeout
|
pytest-xdist
|
ruff
|
sphinx
|
sphinx-rtd-theme
|
ty
Downloads last day:
38,384
Downloads last week:
206,112
Downloads last month:
730,735
7-day smoothing