The next version of Coq will be released next week.
Many thanks to all who tested the β versions and reported issues.
Previous announcement: Coq 8.10+β3
2 Likes
The version 8.10.0 of Coq has just been released; see full announcement on Coq web site: https://coq.inria.fr/news/coq-8-10-0-is-out.html
Pre-compiled binaries can be downloaded from the “release” page: https://github.com/coq/coq/releases/tag/V8.10.0
1 Like