Coq 8.10.0

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


The version 8.10.0 of Coq has just been released; see full announcement on Coq web site:

Pre-compiled binaries can be downloaded from the “release” page:

1 Like