ejgallego/rocq-lsp

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq

OCamlStars 192Forks 51Watchers 192Open issues 144License GNU Lesser General Public License v2.1

Details

仓库信息

Ownerejgallego

Homepage—

Last pushed2025-12-01

Last updated2025-12-15

Issues fetched at—

Community at a glance