Version 8.6.1 of Coq is available. It fixes several bugs
of version 8.6. More information can be found in the CHANGES file. Feedback and
bug reports are extremely welcome.
Recent news
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).