.gitignore
LICENSE
README.md
justfile
pyproject.toml
docs/leank-lsp.md
lspleanklib/__init__.py
lspleanklib/__main__.py
lspleanklib/aio.py
lspleanklib/cli.py
lspleanklib/jsonrpc.py
lspleanklib/lake.py
lspleanklib/lakelspout.py
lspleanklib/lspleank.py
lspleanklib/py.typed
lspleanklib/server.py
lspleanklib/util.py
lspleanklib.egg-info/PKG-INFO
lspleanklib.egg-info/SOURCES.txt
lspleanklib.egg-info/dependency_links.txt
lspleanklib.egg-info/entry_points.txt
lspleanklib.egg-info/requires.txt
lspleanklib.egg-info/top_level.txt
tests/test_lake.py
tests/test_rpc.py
tests/test_server.py
tests/util.py
tests/cases/vim9-lsp-init.txt
tests/cases/alt_import/Main.lean
tests/cases/alt_import/Min.lean
tests/cases/alt_import/lake-manifest.json
tests/cases/alt_import/lakefile.toml
tests/cases/alt_import/lean-toolchain
tests/cases/alt_import/Min/Sub.lean
tests/cases/min_import/Main.lean
tests/cases/min_import/Min.lean
tests/cases/min_import/lake-manifest.json
tests/cases/min_import/lakefile.toml
tests/cases/min_import/lean-toolchain