Coq LSP

ejgallego.coq-lsp · by ejgallegoVS Marketplace Not verifiedOpen VSX Verified

First Released:

Last Updated:

Coq LSP provides native vsCode support for checking Coq proof documents

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 5, 2026, 22:03 UTC

Total installs4.7K

7d growth8+0.2% over 7d

Community rating★ 5.02 reviews

Latest version0.2.4Updated Sep 16, 2025

8 calculable days · 0 without calculable growth.

OPEN VSX

Last snapshot: Nov 5, 2026, 22:15 UTC

Total downloads7.6K

7d growth66+0.9% over 7d

Community rating★ 5.01 reviews

Latest version0.2.4Updated Sep 16, 2025

8 calculable days · 0 without calculable growth.

Categories ranked by installs on Marketplace and downloads on Open VSX.

Term	Marketplace	Open VSX
LintersCategoryMarketplace · 2026-11-05 22:20 UTCOpen VSX · 2026-11-05 22:24 UTC	#879 of 6,783 ↓1 1d↓2 7d	#466 of 2,251 0 1d↓4 7d
markdownKeyword · 2026-11-05 22:26 UTC	No observed result	#830 of 1,323 ↓2 1d↓17 7d

Checked daily for up to 1,000 results per term. Changes appear when historical data is available.