Hi everyone,
We are pleased to announce the next release of VsCoq.
You can find a detailed change log here:
Thanks to Durbatuluk1701 (Will Thomas) · GitHub for his contributions !
Stay tuned for more improvements !
Romain, for the VsCoq team
1 Like