Coq 8.9.0 is out
Submitted by Guillaume Melquiond on 18 Jan 2019
The 8.9.0 release of Coq is available.
It features many quality-of-life improvements, including goal differences as well as numeral and custom notations. For details, see the CHANGES file.
Feedback and bug reports are extremely welcome.