Release of Coq 8.2 (beta)
Submitted by coq-www on 17 Jun 2008 11:23 GMT
The beta release of Coq 8.2 is now out. For more informations, look at this page.
The beta release of Coq 8.2 is now out. For more informations, look at this page.
Syndicate