Total downloads
12,465
maximedenes.vscoq
VsCoq
7d gain
148
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
2.2.6
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- maximedenes
- Name
- vscoq
- License
- MIT
- Homepage
- https://github.com/coq-community/vscoq/blob/master/README.md
- Repository
- https://github.com/coq-community/vscoq.git
- Reviews
- 0
Taxonomy
Categories
Description
VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant
Archive
Release history
- 2.2.6 2025-05-20
- 2.2.4 2025-02-20
- 2.2.3 2025-01-16
- 2.2.1 2024-09-24
- 2.2.0 2024-09-14
- 2.1.7 2024-08-07
- 2.1.6 2024-07-19
- 2.1.5 2024-07-15
- 2.1.4 2024-07-08
- 2.1.3 2024-06-25
- 2.1.2 2024-02-21
- 2.1.0 2024-02-13
- 2.0.3 2023-12-05
- 2.0.2 2023-10-17
- 2.0.1 2023-09-20
- 2.0.0 2023-09-15
- 0.3.9 2023-09-13
- 1.9.3 2023-08-28
- 1.9.2 2023-08-22
- 1.9.1 2023-08-18
- 0.3.8 2023-03-01
- 0.3.7 2023-01-11
- 0.3.6 2022-01-03
- 0.3.5 2021-06-14
- 0.3.4 2021-03-15