Coq 8.10+beta2 is out
Submitted by Vincent Laporte on June 20th, 2019
The second beta release of Coq 8.10 is available for testing.
This second β version includes many bug fixes and documentation improvements; more details are given in the reference manual.
Feedback and bug reports are extremely welcome.