Coq 8.2 release candidate
Submitted by notin on 23. January 2009 - 20:27.
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.