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
|
|
0
|
130
|
July 3, 2020
|
Initial release of machine learning dataset based on Mathematical Components 1.9.0
|
|
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
|
|
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
|
|
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
|
|
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
|