Hi everyone,
The VsCoq team is proud to announce the first official release of VsCoq 2. This release aims at supporting Coq starting from version 8.18 and onwards.
Among the key features, VsCoq 2 introduces:
- A new continuous checking mode
- A customisable goal view
- A panel dedicated to launching queries
- Support for messages in the goal panel
You can find install instructions here:
We are looking forward to your feedback and hope to keep improving VsCoq 2 with the support of the community.
Cheers,
Romain for the VsCoq team