Coq 8.9+beta1 is out
Submitted by Guillaume Melquiond on 2 Nov 2018
The first beta release of Coq 8.9 is available for testing.
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.