rocq-prover.vsrocq

VsRocq

Total downloads

2,671

7d gain

74

Rolling weekly delta

Rating

- / 5

0 reviews

Version

2.4.3

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: rocq-prover
Name: vsrocq
License: MIT
Homepage: https://github.com/rocq-prover/vscoq/blob/main/README.md
Repository: https://github.com/rocq-prover/vsrocq.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

VsRocq is an extension for Visual Studio Code with support for the Rocq Prover

Archive

Release history

5 latest releases