coq-community.vscoq1

VsCoq Legacy

Total downloads

1,561

7d gain

20

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.5.0

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: coq-community
Name: vscoq1
License: MIT
Homepage: https://github.com/coq-community/vscoq-legacy/blob/main/README.md
Repository: https://github.com/coq-community/vscoq-legacy.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

An IDE for the Coq Proof Assistant

Archive

Release history

3 latest releases