Hi everyone,
We are rolling out the next release for VsCoq 2.
You can find detailed change logs here: Release v2.2.2 · coq/vscoq · GitHub
and here: Release v2.2.3 · coq/vscoq · GitHub
Thanks to Lysxia (Xia Li-yao) · GitHub, cpitclaudel (Clément Pit-Claudel) · GitHub, cas-haaijman (Cas Haaijman) · GitHub as well as the Coq maintainers for their contributions !
Stay tuned for more releases !
Romain, on behalf of the VsCoq team