|
Coq 8.16 Release Schedule
|
|
0
|
315
|
March 16, 2022
|
|
Proof Assistants SE public beta
|
|
1
|
182
|
March 16, 2022
|
|
Job opening: visiting research programmer, machine learning for Coq
|
|
0
|
217
|
March 12, 2022
|
|
Workshop: Machine-Checked Mathematics, March 2-4
|
|
1
|
225
|
February 26, 2022
|
|
CoqPL 2022: Call for Presentations
|
|
1
|
458
|
February 23, 2022
|
|
Coq community survey 2022
|
|
5
|
990
|
March 2, 2022
|
|
Coq Hackaton Winter 2022 edition
|
|
6
|
646
|
February 14, 2022
|
|
Trakt 1.0 released
|
|
0
|
286
|
February 10, 2022
|
|
Coq Platform 2022.01.0
|
|
0
|
365
|
January 27, 2022
|
|
Iris 3.6 and std++ 1.7 released
|
|
0
|
167
|
January 24, 2022
|
|
MathComp 1.14.0 released
|
|
0
|
194
|
January 19, 2022
|
|
Preview of Ltac Visual Debugger in CoqIDE is now available
|
|
0
|
228
|
November 8, 2021
|
|
Coq Platform 2021.09.0
|
|
0
|
212
|
November 8, 2021
|
|
Iris 3.5 and std++ 1.6 released
|
|
0
|
310
|
November 8, 2021
|
|
Turing: a library to teach Introduction to the Theory of Computation (Fall'21)
|
|
2
|
367
|
November 1, 2021
|
|
MathComp 1.13.0 released
|
|
0
|
397
|
October 28, 2021
|
|
Deriving: a library for deriving class instances for inductive types
|
|
3
|
594
|
October 4, 2021
|
|
[ANN] PyCoq preview release
|
|
0
|
261
|
September 23, 2021
|
|
School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022
|
|
0
|
332
|
September 15, 2021
|
|
Creation of a Zulip chatroom
|
|
3
|
1768
|
September 10, 2021
|
|
Call to participate in the WG that will prepare the Coq community survey
|
|
0
|
218
|
September 8, 2021
|
|
Call for Contributions: WITS 2022
|
|
0
|
188
|
September 6, 2021
|
|
Towards coqffi.1.0.0 (Call for Testers)
|
|
4
|
656
|
August 20, 2021
|
|
Coq translation of the Tezos protocol
|
|
0
|
443
|
August 11, 2021
|
|
CADE-28 Call for Papers, Workshops, Tutorials, and Competitions
|
|
5
|
530
|
August 11, 2021
|
|
Interval 4.2, now with plotting
|
|
16
|
1602
|
July 28, 2021
|
|
[Call for Participation] July 2nd: The Coq Workshop 2021
|
|
0
|
311
|
June 21, 2021
|
|
Proof Ground 2021 - Call for Participation
|
|
0
|
286
|
June 18, 2021
|
|
Renaming Coq
|
|
1
|
10388
|
June 15, 2021
|
|
PhD position in HoTT/UF at TU Delft
|
|
0
|
256
|
June 7, 2021
|