|
Coq Hackaton Winter 2022 edition
|
|
6
|
1169
|
February 14, 2022
|
|
Trakt 1.0 released
|
|
0
|
602
|
February 10, 2022
|
|
Coq Platform 2022.01.0
|
|
0
|
775
|
January 27, 2022
|
|
Iris 3.6 and std++ 1.7 released
|
|
0
|
406
|
January 24, 2022
|
|
MathComp 1.14.0 released
|
|
0
|
464
|
January 19, 2022
|
|
Preview of Ltac Visual Debugger in CoqIDE is now available
|
|
0
|
556
|
November 8, 2021
|
|
Coq Platform 2021.09.0
|
|
0
|
492
|
November 8, 2021
|
|
Iris 3.5 and std++ 1.6 released
|
|
0
|
572
|
November 8, 2021
|
|
Turing: a library to teach Introduction to the Theory of Computation (Fall'21)
|
|
2
|
725
|
November 1, 2021
|
|
MathComp 1.13.0 released
|
|
0
|
710
|
October 28, 2021
|
|
Deriving: a library for deriving class instances for inductive types
|
|
3
|
952
|
October 4, 2021
|
|
[ANN] PyCoq preview release
|
|
0
|
585
|
September 23, 2021
|
|
School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022
|
|
0
|
610
|
September 15, 2021
|
|
Creation of a Zulip chatroom
|
|
3
|
2541
|
September 10, 2021
|
|
Call to participate in the WG that will prepare the Coq community survey
|
|
0
|
464
|
September 8, 2021
|
|
Call for Contributions: WITS 2022
|
|
0
|
429
|
September 6, 2021
|
|
Coq translation of the Tezos protocol
|
|
0
|
675
|
August 11, 2021
|
|
CADE-28 Call for Papers, Workshops, Tutorials, and Competitions
|
|
5
|
799
|
August 11, 2021
|
|
Interval 4.2, now with plotting
|
|
16
|
2369
|
July 28, 2021
|
|
[Call for Participation] July 2nd: The Coq Workshop 2021
|
|
0
|
565
|
June 21, 2021
|
|
Proof Ground 2021 - Call for Participation
|
|
0
|
566
|
June 18, 2021
|
|
Renaming Coq
|
|
1
|
13242
|
June 15, 2021
|
|
Equations 1.3 beta release
|
|
0
|
564
|
May 6, 2021
|
|
[CFP] The Coq Workshop 2021 : 2nd Call for Talk Proposals
|
|
0
|
532
|
April 14, 2021
|
|
Release of the Coq platform 2021.02.1 - Coq 8.13.2
|
|
0
|
865
|
April 13, 2021
|
|
Proof Ground 2021 - Call for Problems
|
|
0
|
720
|
April 2, 2021
|
|
Equations 1.2.4 release
|
|
0
|
508
|
March 17, 2021
|
|
Release of VSCoq 0.3.4 IDE
|
|
0
|
773
|
March 15, 2021
|
|
CoqPL 2021: Call for Presentations
|
|
1
|
647
|
March 15, 2021
|
|
Release of Coq 8.13.1
|
|
0
|
598
|
February 23, 2021
|