|
Alectryon, a toolkit for writing technical documents that mix Coq code and prose
|
|
5
|
405
|
November 19, 2020
|
|
Next CUDW 2020/11/30 to 2020/12/04 — Save the Date!
|
|
2
|
351
|
November 16, 2020
|
|
Ph.D. Defense of Jason Gross on Performance Engineering of Proof-Based Software Systems at Scale
|
|
0
|
266
|
November 7, 2020
|
|
Alpha Announcement: Coq is a Lean Typechecker
|
|
6
|
9010
|
October 16, 2020
|
|
Tree Calculus
|
|
0
|
284
|
October 14, 2020
|
|
Announcing Coq 8.12 support for Codewars
|
|
1
|
201
|
October 14, 2020
|
|
Call for Presentations: PriSC 2021 @ POPL 2021
|
|
0
|
207
|
September 16, 2020
|
|
PhD Position on Certified Extraction in Nantes
|
|
0
|
314
|
September 8, 2020
|
|
[poll] Next CUDW 2020 -- Reloaded
|
|
0
|
192
|
September 4, 2020
|
|
Coq 8.12.0 is out!
|
|
0
|
323
|
July 27, 2020
|
|
Planet Coq, a link aggregator about Coq
|
|
5
|
348
|
July 19, 2020
|
|
Iris 3.3 and std++ 1.4
|
|
0
|
281
|
July 15, 2020
|
|
PLV has a new blog!
|
|
1
|
325
|
July 5, 2020
|
|
Initial release of Roosterize, a tool for suggesting lemma names, for Coq 8.10
|
|
0
|
229
|
July 3, 2020
|
|
Initial release of machine learning dataset based on Mathematical Components 1.9.0
|
|
0
|
197
|
July 3, 2020
|
|
[ANN] Coqoune
|
|
0
|
216
|
July 2, 2020
|
|
[Call for participation] The Coq workshop 2020
|
|
0
|
495
|
June 26, 2020
|
|
Creation of a Zulip chatroom
|
|
2
|
846
|
June 22, 2020
|
|
First release of Kôika 🦑, a core language for rule-based hardware design
|
|
2
|
427
|
June 20, 2020
|
|
Equations 1.2.2 for Coq 8.11 and Coq 8.12
|
|
0
|
240
|
June 20, 2020
|
|
First beta release of Coq 8.12 (and a call for help to improve the documentation)
|
|
0
|
242
|
June 19, 2020
|
|
Coq 8.11.2
|
|
0
|
166
|
June 19, 2020
|
|
CoqInterval 4.0 released
|
|
0
|
278
|
June 17, 2020
|
|
MathComp 1.11.0 released
|
|
0
|
264
|
June 9, 2020
|
|
CoqHammer 1.2.1 for Coq 8.10 and 8.11
|
|
0
|
231
|
June 7, 2020
|
|
Abstractions as Combinations in VAR-Calculus
|
|
0
|
227
|
May 26, 2020
|
|
Proof Ground 2020: Call for Problems
|
|
0
|
226
|
May 11, 2020
|
|
The Coq Workshop 2020: Call for Talk Proposals
|
|
2
|
436
|
April 27, 2020
|
|
Invitation to join the Codewars Coq Community, Round II
|
|
2
|
485
|
April 23, 2020
|
|
[ANNOUNCE] jsCoq 0.11
|
|
0
|
216
|
April 8, 2020
|
