Coq 8.9.1 is out
Submitted by Guillaume Melquiond on May 20th, 2019
The 8.9.1 release of Coq is available.
Main changes:
- some quality-of-life bug fixes,
- many improvements to the documentation,
- a critical bug fix related to primitive projections and native_compute,
- several additional Coq libraries shipped with the Windows installer.
Feedback and bug reports are extremely welcome.