Release candidate of Coq 8.4 is out
Submitted by herbelin on 8. August 2012 - 21:28.
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...