Coq 8.2 release candidate
Submitted by coq-www on 23 Jan 2009 20:27 GMT
A release candidate for Coq 8.2 is now out ! You can download it from this page.
A release candidate for Coq 8.2 is now out ! You can download it from this page.
Syndicate