Announcements


Topic Replies Views Activity
Coq 8.12.0 is out!
0 227 July 27, 2020
Planet Coq, a link aggregator about Coq
5 240 July 19, 2020
Iris 3.3 and std++ 1.4
0 173 July 15, 2020
PLV has a new blog!
1 223 July 5, 2020
Initial release of Roosterize, a tool for suggesting lemma names, for Coq 8.10
serapi
0 130 July 3, 2020
Initial release of machine learning dataset based on Mathematical Components 1.9.0
serapi
0 108 July 3, 2020
[ANN] Coqoune
0 125 July 2, 2020
[Call for participation] The Coq workshop 2020
0 402 June 26, 2020
Creation of a Zulip chatroom
2 625 June 22, 2020
First release of Kôika 🦑, a core language for rule-based hardware design
2 306 June 20, 2020
Equations 1.2.2 for Coq 8.11 and Coq 8.12
coq-equations
0 147 June 20, 2020
First beta release of Coq 8.12 (and a call for help to improve the documentation)
0 146 June 19, 2020
Coq 8.11.2
0 83 June 19, 2020
CoqInterval 4.0 released
0 174 June 17, 2020
MathComp 1.11.0 released
0 168 June 9, 2020
CoqHammer 1.2.1 for Coq 8.10 and 8.11
0 140 June 7, 2020
Abstractions as Combinations in VAR-Calculus
0 141 May 26, 2020
Proof Ground 2020: Call for Problems
0 138 May 11, 2020
The Coq Workshop 2020: Call for Talk Proposals
2 348 April 27, 2020
Invitation to join the Codewars Coq Community, Round II
2 393 April 23, 2020
[ANNOUNCE] jsCoq 0.11
jscoq
0 132 April 8, 2020
Std++ 1.3
0 173 March 20, 2020
Proof engineering survey published
3 609 March 17, 2020
Hierarchy Builder 0.9.0 - Coq-Elpi 1.3.x
0 218 March 11, 2020
Third DeepSpec Summer School, July 13-24, 2020
0 262 March 2, 2020
CoqHammer 1.1.1 for Coq 8.9
14 614 February 23, 2020
[ANN] Dune 2.3.0
0 125 February 18, 2020
mCoq 1.0: mutation analysis for Coq 8.10
serapi
3 261 February 13, 2020
Coq User and Developer Workshop 2020
1 391 February 12, 2020
Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms
0 352 January 24, 2020