The best way to install VST 2.12 is through the Coq Platform release anticipated in April or May 2023.
New in this release:
entailer!!tactic that does not put so many propositions above the line, compared toentailer!. See the end of theentailer!chapter in the manual.- VSTlib, a new library of Verified Software Units; currently has interface to malloc/free library, math library, threads and locks libraries.
- Compatible with Coq 8.16 and 8.17, and with CompCert 3.12.