rocq-community/rocq-lsp

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

语言：OCaml · GitHub 星标：212 · Fork：69

话题：coq · ide · interactive-theorem-proving · language-server-protocol · rocq · rocq-prover · user-interface · vscode-extension

在 GitHub 上查看原仓库