ejgallego.coq-lsp

Coq LSP

Total downloads

7,514

7d gain

76

Rolling weekly delta

Rating

5.00 / 5

1 review

Version

0.2.4

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: ejgallego
Name: coq-lsp
License: -
Homepage: https://github.com/ejgallego/coq-lsp
Repository: https://github.com/ejgallego/coq-lsp.git
Reviews: 1

Taxonomy

Categories

Programming Languages Linters

Description

Coq LSP provides native vsCode support for checking Coq proof documents

Archive

Release history

15 latest releases