Coq 8.2 has arrived
Submitted by dcousineau on 15 Feb 2009 12:08 GMT
Coq 8.2 brings Haskell-style type classes, various evolutions of the arithmetic libraries, and many other various improvements and extensions regarding the module system, tactics, syntax, etc. You can download it from this page.
Enjoy!
The Coq development team
Syndicate