PyPI page
Home page
Author:
None
License:
MIT
Summary:
Interact with the Lean theorem prover language server
Latest version:
0.12.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
|
ty
Downloads last day:
138,954
Downloads last week:
365,190
Downloads last month:
1,462,786