|
mCoq 1.0: mutation analysis for Coq 8.10
|
|
4
|
186
|
February 13, 2020
|
|
Coq User and Developer Workshop 2020
|
|
2
|
276
|
February 12, 2020
|
|
Alpha Announcement: Coq is a Lean Typechecker
|
|
6
|
8230
|
January 30, 2020
|
|
Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms
|
|
1
|
270
|
January 24, 2020
|
|
CoqPL 2020: Program
|
|
1
|
138
|
December 16, 2019
|
|
Coq 8.10.2
|
|
5
|
168
|
December 6, 2019
|
|
[Call for Help] Learn Coq in Y minutes
|
|
9
|
451
|
November 25, 2019
|
|
Coq 8.10.1
|
|
1
|
111
|
October 25, 2019
|
|
CoqPL 2020: Deadline extended to 27 Oct
|
|
1
|
84
|
October 24, 2019
|
|
Jupyter Kernel for Coq
|
|
4
|
461
|
October 11, 2019
|
|
CoqPL 2020: Call for Presentations
|
|
2
|
168
|
October 11, 2019
|
|
Coq 8.10.0
|
|
2
|
153
|
October 8, 2019
|
|
MetaCoq 1.0alpha
|
|
1
|
140
|
September 30, 2019
|
|
Coq Andes Summer School (Jan 2020, Chile)
|
|
1
|
401
|
September 23, 2019
|
|
Coq 8.10+β3
|
|
2
|
145
|
September 19, 2019
|
|
[Follow-up] The Coq Workshop 2019
|
|
1
|
109
|
September 18, 2019
|
|
Natural deduction in Coq - A tutorial (in german)
|
|
2
|
238
|
September 8, 2019
|
|
Iris 3.2 and std++ 1.2.1
|
|
1
|
215
|
August 30, 2019
|
|
Dependently typed Haskell in industry
|
|
1
|
189
|
August 10, 2019
|
|
[CI] OS+OPAM Upgrade for Docker images of Coq and MathComp
|
|
1
|
176
|
August 2, 2019
|
|
[Call for Participation] The Coq Workshop 2019
|
|
1
|
245
|
August 1, 2019
|
|
Recruiting proof engineers for a study on development processes
|
|
1
|
203
|
July 30, 2019
|
|
jsCoq and SerAPI releases
|
|
1
|
359
|
April 24, 2019
|
|
LibHyps 1.0: tactics for manipulation of (groups of) hypothesis
|
|
3
|
182
|
July 10, 2019
|
|
Proving for Fun: Summer Edition
|
|
5
|
271
|
July 5, 2019
|
|
[CFP] The Coq Workshop 2019 (Deadline Extension)
|
|
1
|
114
|
June 6, 2019
|
|
Looking for Formal Methods Engineer to work at NASA
|
|
1
|
640
|
June 6, 2019
|
|
[2nd CFP] The Coq Workshop 2019
|
|
1
|
123
|
May 22, 2019
|
|
Coq 8.9.1
|
|
1
|
198
|
May 21, 2019
|
|
Coq-community project releases for Coq 8.9
|
|
1
|
134
|
May 20, 2019
|
