|
Coq Hackaton Winter 2022 edition
|
|
6
|
844
|
February 14, 2022
|
|
Trakt 1.0 released
|
|
0
|
377
|
February 10, 2022
|
|
Coq Platform 2022.01.0
|
|
0
|
507
|
January 27, 2022
|
|
Iris 3.6 and std++ 1.7 released
|
|
0
|
238
|
January 24, 2022
|
|
MathComp 1.14.0 released
|
|
0
|
251
|
January 19, 2022
|
|
Preview of Ltac Visual Debugger in CoqIDE is now available
|
|
0
|
316
|
November 8, 2021
|
|
Coq Platform 2021.09.0
|
|
0
|
281
|
November 8, 2021
|
|
Iris 3.5 and std++ 1.6 released
|
|
0
|
395
|
November 8, 2021
|
|
Turing: a library to teach Introduction to the Theory of Computation (Fall'21)
|
|
2
|
476
|
November 1, 2021
|
|
MathComp 1.13.0 released
|
|
0
|
481
|
October 28, 2021
|
|
Deriving: a library for deriving class instances for inductive types
|
|
3
|
697
|
October 4, 2021
|
|
[ANN] PyCoq preview release
|
|
0
|
315
|
September 23, 2021
|
|
School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022
|
|
0
|
415
|
September 15, 2021
|
|
Creation of a Zulip chatroom
|
|
3
|
2018
|
September 10, 2021
|
|
Call to participate in the WG that will prepare the Coq community survey
|
|
0
|
266
|
September 8, 2021
|
|
Call for Contributions: WITS 2022
|
|
0
|
231
|
September 6, 2021
|
|
Towards coqffi.1.0.0 (Call for Testers)
|
|
4
|
701
|
August 20, 2021
|
|
Coq translation of the Tezos protocol
|
|
0
|
502
|
August 11, 2021
|
|
CADE-28 Call for Papers, Workshops, Tutorials, and Competitions
|
|
5
|
604
|
August 11, 2021
|
|
Interval 4.2, now with plotting
|
|
16
|
1815
|
July 28, 2021
|
|
[Call for Participation] July 2nd: The Coq Workshop 2021
|
|
0
|
360
|
June 21, 2021
|
|
Proof Ground 2021 - Call for Participation
|
|
0
|
329
|
June 18, 2021
|
|
Renaming Coq
|
|
1
|
11159
|
June 15, 2021
|
|
Equations 1.3 beta release
|
|
0
|
343
|
May 6, 2021
|
|
[CFP] The Coq Workshop 2021 : 2nd Call for Talk Proposals
|
|
0
|
346
|
April 14, 2021
|
|
Release of the Coq platform 2021.02.1 - Coq 8.13.2
|
|
0
|
560
|
April 13, 2021
|
|
Proof Ground 2021 - Call for Problems
|
|
0
|
482
|
April 2, 2021
|
|
Equations 1.2.4 release
|
|
0
|
354
|
March 17, 2021
|
|
Release of VSCoq 0.3.4 IDE
|
|
0
|
525
|
March 15, 2021
|
|
CoqPL 2021: Call for Presentations
|
|
1
|
479
|
March 15, 2021
|