oOo0oOo/leanclient

Python client to interact with the lean4 language server.

语言：Python · GitHub 星标：49 · Fork：12

话题：lean4 · lsp · python

在 GitHub 上查看原仓库