|
Deriving: a library for deriving class instances for inductive types
|
|
3
|
439
|
October 4, 2021
|
|
[ANN] PyCoq preview release
|
|
0
|
203
|
September 23, 2021
|
|
School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022
|
|
0
|
235
|
September 15, 2021
|
|
Creation of a Zulip chatroom
|
|
3
|
1579
|
September 10, 2021
|
|
Call to participate in the WG that will prepare the Coq community survey
|
|
0
|
164
|
September 8, 2021
|
|
Call for Contributions: WITS 2022
|
|
0
|
140
|
September 6, 2021
|
|
Towards coqffi.1.0.0 (Call for Testers)
|
|
4
|
604
|
August 20, 2021
|
|
Coq translation of the Tezos protocol
|
|
0
|
294
|
August 11, 2021
|
|
CADE-28 Call for Papers, Workshops, Tutorials, and Competitions
|
|
5
|
475
|
August 11, 2021
|
|
Interval 4.2, now with plotting
|
|
16
|
1482
|
July 28, 2021
|
|
[Call for Participation] July 2nd: The Coq Workshop 2021
|
|
0
|
229
|
June 21, 2021
|
|
Proof Ground 2021 - Call for Participation
|
|
0
|
233
|
June 18, 2021
|
|
Renaming Coq
|
|
1
|
9612
|
June 15, 2021
|
|
PhD position in HoTT/UF at TU Delft
|
|
0
|
206
|
June 7, 2021
|
|
Equations 1.3 beta release
|
|
0
|
253
|
May 6, 2021
|
|
[CFP] The Coq Workshop 2021 : 2nd Call for Talk Proposals
|
|
0
|
265
|
April 14, 2021
|
|
Release of the Coq platform 2021.02.1 - Coq 8.13.2
|
|
0
|
391
|
April 13, 2021
|
|
Certified Elm web apps
|
|
0
|
291
|
April 12, 2021
|
|
Proof Ground 2021 - Call for Problems
|
|
0
|
343
|
April 2, 2021
|
|
Equations 1.2.4 release
|
|
0
|
286
|
March 17, 2021
|
|
Release of VSCoq 0.3.4 IDE
|
|
0
|
407
|
March 15, 2021
|
|
CoqPL 2021: Call for Presentations
|
|
1
|
378
|
March 15, 2021
|
|
Release of Coq 8.13.1
|
|
0
|
317
|
February 23, 2021
|
|
Release of the Coq platform 2021.02.0
|
|
0
|
502
|
February 26, 2021
|
|
Hydra battles
|
|
0
|
284
|
February 22, 2021
|
|
[CFP] The Coq Workshop 2021 : Call for Talk Proposals
|
|
0
|
300
|
February 17, 2021
|
|
A formal proof of Abel-Ruffini Theorem in Coq
|
|
0
|
1283
|
January 13, 2021
|
|
Release of Coq 8.13.0
|
|
0
|
428
|
January 12, 2021
|
|
Coq 8.12.2 is out
|
|
0
|
277
|
December 24, 2020
|
|
Research internships at MPI
|
|
0
|
360
|
December 11, 2020
|