PyPI page
Home page
Author:
None
License:
MIT
Summary:
Interact with the Lean theorem prover language server
Latest version:
0.10.0
Required dependencies:
orjson
|
psutil
|
tqdm
Optional dependencies:
gprof2dot
|
ipykernel
|
psutil
|
pytest
|
pytest-benchmark
|
pytest-cov
|
pytest-html
|
pytest-sugar
|
pytest-timeout
|
pytest-xdist
|
ruff
|
sphinx
|
sphinx-rtd-theme
Downloads last day:
2,730
Downloads last week:
11,381
Downloads last month:
45,938