|
Iris 4.0 and std++ 1.8 released
|
|
0
|
142
|
August 20, 2022
|
|
Coq 8.15.2 now available on Codewars
|
|
2
|
127
|
August 17, 2022
|
|
EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of formal proofs
|
|
0
|
136
|
July 12, 2022
|
|
FormalV 1.0.0 released
|
|
0
|
150
|
July 11, 2022
|
|
Certified Symbolic-Numeric Computation
|
|
0
|
153
|
July 7, 2022
|
|
MetaCoq 1.0 released
|
|
0
|
190
|
July 5, 2022
|
|
MathComp 1.15.0 released
|
|
0
|
181
|
June 30, 2022
|
|
ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove `ocaml_version: "minimal"`)
|
|
3
|
308
|
June 29, 2022
|
|
Coq Platform release 2022.04.1
|
|
0
|
147
|
June 27, 2022
|
|
CompCert receives ACM Software System Award
|
|
1
|
240
|
May 27, 2022
|
|
The Coq Workshop 2022: Call for Presentation Proposals
|
|
1
|
468
|
May 9, 2022
|
|
HTT 1.0 released
|
|
0
|
163
|
May 4, 2022
|
|
HoTTEST Summer School July+August 2022
|
|
0
|
765
|
April 30, 2022
|
|
Coq Platform release 2022.04.0
|
|
0
|
208
|
April 21, 2022
|
|
School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
|
|
0
|
158
|
April 10, 2022
|
|
Interval 4.5, now with root finding
|
|
1
|
195
|
March 31, 2022
|
|
FormalML: A library for (general) probability
|
|
0
|
306
|
March 29, 2022
|
|
Upcoming Coq Hackathon and workgroup session on Thursday, March 31st
|
|
0
|
169
|
March 29, 2022
|
|
Upcoming Coq Hackathon and workgroup session
|
|
0
|
259
|
March 21, 2022
|
|
Coq 8.16 Release Schedule
|
|
0
|
405
|
March 16, 2022
|
|
Proof Assistants SE public beta
|
|
1
|
240
|
March 16, 2022
|
|
Workshop: Machine-Checked Mathematics, March 2-4
|
|
1
|
274
|
February 26, 2022
|
|
CoqPL 2022: Call for Presentations
|
|
1
|
516
|
February 23, 2022
|
|
Coq community survey 2022
|
|
5
|
1237
|
March 2, 2022
|
|
Coq Hackaton Winter 2022 edition
|
|
6
|
759
|
February 14, 2022
|
|
Trakt 1.0 released
|
|
0
|
335
|
February 10, 2022
|
|
Coq Platform 2022.01.0
|
|
0
|
464
|
January 27, 2022
|
|
Iris 3.6 and std++ 1.7 released
|
|
0
|
217
|
January 24, 2022
|
|
MathComp 1.14.0 released
|
|
0
|
233
|
January 19, 2022
|
|
Preview of Ltac Visual Debugger in CoqIDE is now available
|
|
0
|
291
|
November 8, 2021
|