Home

Beta-release of Coq 8.4

Submitted by herbelin on 27 Dec 2011 19:38 GMT

Coq 8.4 is available for beta-testing. More on the Coq 8.4 web page...