Beta-release of Coq 8.4
Submitted by herbelin on 27. December 2011 - 19:38.
Coq 8.4 is available for beta-testing. More on the Coq 8.4 web page...
Coq 8.4 is available for beta-testing. More on the Coq 8.4 web page...