|
CoqInterval 4.0 released
|
|
0
|
135
|
June 17, 2020
|
|
MathComp 1.11.0 released
|
|
0
|
121
|
June 9, 2020
|
|
CoqHammer 1.2.1 for Coq 8.10 and 8.11
|
|
0
|
116
|
June 7, 2020
|
|
Abstractions as Combinations in VAR-Calculus
|
|
0
|
97
|
May 26, 2020
|
|
Proof Ground 2020: Call for Problems
|
|
0
|
110
|
May 11, 2020
|
|
The Coq Workshop 2020: Call for Talk Proposals
|
|
2
|
325
|
April 27, 2020
|
|
Invitation to join the Codewars Coq Community, Round II
|
|
2
|
347
|
April 23, 2020
|
|
[ANNOUNCE] jsCoq 0.11
|
|
0
|
115
|
April 8, 2020
|
|
Std++ 1.3
|
|
0
|
132
|
March 20, 2020
|
|
Proof engineering survey published
|
|
3
|
575
|
March 17, 2020
|
|
Hierarchy Builder 0.9.0 - Coq-Elpi 1.3.x
|
|
0
|
186
|
March 11, 2020
|
|
Third DeepSpec Summer School, July 13-24, 2020
|
|
0
|
230
|
March 2, 2020
|
|
CoqHammer 1.1.1 for Coq 8.9
|
|
14
|
576
|
February 23, 2020
|
|
[ANN] Dune 2.3.0
|
|
0
|
112
|
February 18, 2020
|
|
mCoq 1.0: mutation analysis for Coq 8.10
|
|
3
|
218
|
February 13, 2020
|
|
Coq User and Developer Workshop 2020
|
|
1
|
324
|
February 12, 2020
|
|
Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms
|
|
0
|
309
|
January 24, 2020
|
|
CoqPL 2020: Program
|
|
0
|
175
|
December 16, 2019
|
|
Coq 8.10.2
|
|
4
|
193
|
December 6, 2019
|
|
[Call for Help] Learn Coq in Y minutes
|
|
8
|
476
|
November 25, 2019
|
|
Coq 8.10.1
|
|
0
|
122
|
October 25, 2019
|
|
CoqPL 2020: Deadline extended to 27 Oct
|
|
0
|
96
|
October 24, 2019
|
|
Jupyter Kernel for Coq
|
|
3
|
518
|
October 11, 2019
|
|
CoqPL 2020: Call for Presentations
|
|
1
|
189
|
October 11, 2019
|
|
Coq 8.10.0
|
|
1
|
172
|
October 8, 2019
|
|
MetaCoq 1.0alpha
|
|
0
|
154
|
September 30, 2019
|
|
Coq Andes Summer School (Jan 2020, Chile)
|
|
0
|
501
|
September 23, 2019
|
|
Coq 8.10+β3
|
|
1
|
163
|
September 19, 2019
|
|
[Follow-up] The Coq Workshop 2019
|
|
0
|
124
|
September 18, 2019
|
|
Natural deduction in Coq - A tutorial (in german)
|
|
1
|
272
|
September 8, 2019
|
