Coq 8.3pl3 is out

Submitted by herbelin on 27 Dec 2011 10:30 GMT

Version 8.3pl3 of Coq fixes several bugs of version 8.3pl2. At the same time, new patch-level releases of 8.1 and 8.2 have been released to fix critical bugs related to sort-polymorphism of inductive types.

For 8.3pl3, see the CHANGES file for a selected list of changes since 8.3pl2.

Recent news

The Coq team has decided that Coq will be renamed into 'The Rocq Prover'. Background information available here. The rename is currently in preparation, we hope to have a new visual identity and website by the end of 2024, and to do a first release of Rocq around that time.

There is now a Stack Exchange Q&A site dedicated to Proof Assistants! Do not hesitate to post and answer Coq questions there (use the coq tag).

Check out Discourse and Twitter for recent news.

For recent releases, check out the GitHub repositories of Coq and the Coq Platform.