Release candidate of Coq 8.4 is out
Submitted by herbelin on 8 Aug 2012 21:28 GMT
Coq 8.4 is available as a release candidate. More on the Coq 8.4 web page...
Coq 8.4 is available as a release candidate. More on the Coq 8.4 web page...
Syndicate