Hi everyone,
We are pleased to announce the next release of VsCoq. This should be the final release before renaming: it contains a critical fix that is important enough to justify the release.
You can find the change log here: Release v2.2.6 · rocq-prover/vscoq · GitHub
Thanks to KacperFKorban (Kacper Korban) · GitHub and thomas-lamiaux (Thomas Lamiaux) · GitHub for their contributions !
Stay tuned for some new features soon !
Cheers,
Romain, for the VsCoq / VsRocq team