First Asian-Pacific Coq Summer School

Submitted by coq-www on 31 Mar 2009 14:21 GMT

The first Asian-Pacific Coq summer school will be held in China, in the Future Internet Technology Research Center (FIT) of Tsinghua University, from 24^th to 30^th, august 2009.

More information and registration on the Asian-Pacific Coq summer school web page.

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 early 2025, 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.