v1.9.0+coq8.18
Pre-release
Pre-release
maximedenes
released this
04 Aug 17:00
·
590 commits
to main
since this release
This is the first beta release of VsCoq 2.
VsCoq 2 is a full reimplementation (based on a different architecture and design) of the previous version of VsCoq, which is currently in use. This is a beta release as VsCoq 2 is not ready for production use yet.