rocq-prover/vsrocq

Visual Studio Code extension for Coq

OCaml453 stars106 forksMIT

coqeditorrocqrocq-provervscodevscode-extensionvscodium

Rankings

Daily

#2479

Weekly

#3246

Monthly

#5332

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/rocq-prover/vsrocq.svg)

HTML

<img src="https://trending-repos.com/badge/rocq-prover/vsrocq.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/rocq-prover/vsrocq.svg