Coq 8.10+β3

The final release of version 8.10.0 of Coq is in sight.

Many fixes and improvements have been integrated since the beginning of the second β. In particular, the soundness issue with template polymorphism has been fixed. More details are given in the user manual:

Let’s have a final phase of β! Pre-built binaries can be found on the corresponding web page:

Bug reports are welcome as always. Thanks.


Since not everyone may be aware of this, the arguably easiest way for most people to install beta versions of Coq is via OPAM:

opam repo add coq-core-dev
opam pin add coq 8.10+beta3