Open Hub
Open Hub

 Settings |  Report Duplicate

20
I Use This!
Very High Activity

News

Analyzed about 3 hours ago. based on code collected about 4 hours ago.
Beta-release of Coq 8.4
Posted almost 14 years ago by herbelin
Coq 8.4 is available for beta-testing. More on the Coq 8.4 web page...
Beta-release of Coq 8.4
Posted almost 14 years ago by herbelin
Coq 8.4 is available for beta-testing. More on the Coq 8.4 web page...
Coq 8.3pl3 is out
Posted almost 14 years ago by herbelin
Version 8.3pl3 of Coq fixes several bugs of version 8.3pl2. At the same time, new patch-level releases of 8.1 and 8.2 have been released to fix critical bugs related to sort-polymorphism of inductive types. For 8.3pl3, see the CHANGES file for a selected list of changes since 8.3pl2.
Coq 8.3pl3 is out
Posted almost 14 years ago by herbelin
Version 8.3pl3 of Coq fixes several bugs of version 8.3pl2. At the same time, new patch-level releases of 8.1 and 8.2 have been released to fix critical bugs related to sort-polymorphism of inductive types. For 8.3pl3, see the CHANGES file for a selected list of changes since 8.3pl2.
Coq 8.3pl3 is out
Posted almost 14 years ago by herbelin
Version 8.3pl3 of Coq fixes several bugs of version 8.3pl2. At the same time, new patch-level releases of 8.1 and 8.2 have been released to fix critical bugs related to sort-polymorphism of inductive types. For 8.3pl3, see the CHANGES file for a selected list of changes since 8.3pl2.
3rd Asian-Pacific Summer School on Formal Methods
Posted over 14 years ago by herbelin
The 3rd Asian-Pacific Summer School on Formal Methods will be held in Suzhou, China in August 13-21, 2011. The objective is to teach students the principles and practice of programming with the proof assistant Coq, as in previous years (2009 and ... [More] 2010), and to show them the state of art applications of proof assistants and theorem provers in formal methods. [Less]
3rd Asian-Pacific Summer School on Formal Methods
Posted over 14 years ago by herbelin
The 3rd Asian-Pacific Summer School on Formal Methods will be held in Suzhou, China in August 13-21, 2011. The objective is to teach students the principles and practice of programming with the proof assistant Coq, as in previous years (2009 and ... [More] 2010), and to show them the state of art applications of proof assistants and theorem provers in formal methods. [Less]
Coq Workshop 2011
Posted over 14 years ago by herbelin
The Coq Workshop 2011 will be held on August 26 at Nijmegen, as part of ITP 2011.
Coq Workshop 2011
Posted over 14 years ago by herbelin
The Coq Workshop 2011 will be held on August 26 at Nijmegen, as part of ITP 2011.
Coq 8.3pl2 is out
Posted over 14 years ago by herbelin
Version 8.3pl2 of Coq fixes several bugs of version 8.3pl1. In particular, it provides compatibility for compiling Coq from sources with the latest versions of Objective Caml and Camlp5. More information to be found in the CHANGES file.