GitHub repository: Alizter/coq-lsp
Primary language: OCaml
Description: Language Server Protocol for Coq