Hi everyone,
In order to help users who cannot yet migrate to Coq 8.18, we have decided to release VsCoq 1 as a separate extension: VsCoq Legacy.
It is now available on both the vscode marketplace and openvsx.
Romain, for the VsCoq team
Hi everyone,
In order to help users who cannot yet migrate to Coq 8.18, we have decided to release VsCoq 1 as a separate extension: VsCoq Legacy.
It is now available on both the vscode marketplace and openvsx.
Romain, for the VsCoq team