|
Volunteer interim maintainers needed for VsCoq
|
|
0
|
407
|
September 27, 2022
|
|
[Call for papers] 1st Workshop on Sources of Unsoundness in Verification
|
|
0
|
338
|
September 2, 2022
|
|
New release of Software Foundations
|
|
0
|
637
|
September 2, 2022
|
|
MathComp Workshop and Winter School (Dec 5-9 2022)
|
|
0
|
529
|
August 30, 2022
|
|
Iris 4.0 and std++ 1.8 released
|
|
0
|
475
|
August 20, 2022
|
|
Coq 8.15.2 now available on Codewars
|
|
2
|
348
|
August 17, 2022
|
|
EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of formal proofs
|
|
0
|
388
|
July 12, 2022
|
|
FormalV 1.0.0 released
|
|
0
|
374
|
July 11, 2022
|
|
Certified Symbolic-Numeric Computation
|
|
0
|
393
|
July 7, 2022
|
|
MetaCoq 1.0 released
|
|
0
|
400
|
July 5, 2022
|
|
MathComp 1.15.0 released
|
|
0
|
438
|
June 30, 2022
|
|
ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove `ocaml_version: "minimal"`)
|
|
3
|
832
|
June 29, 2022
|
|
Coq Platform release 2022.04.1
|
|
0
|
446
|
June 27, 2022
|
|
CompCert receives ACM Software System Award
|
|
1
|
498
|
May 27, 2022
|
|
The Coq Workshop 2022: Call for Presentation Proposals
|
|
1
|
814
|
May 9, 2022
|
|
HTT 1.0 released
|
|
0
|
418
|
May 4, 2022
|
|
HoTTEST Summer School July+August 2022
|
|
0
|
1278
|
April 30, 2022
|
|
Coq Platform release 2022.04.0
|
|
0
|
530
|
April 21, 2022
|
|
School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
|
|
0
|
380
|
April 10, 2022
|
|
Interval 4.5, now with root finding
|
|
1
|
499
|
March 31, 2022
|
|
FormalML: A library for (general) probability
|
|
0
|
647
|
March 29, 2022
|
|
Upcoming Coq Hackathon and workgroup session on Thursday, March 31st
|
|
0
|
426
|
March 29, 2022
|
|
Upcoming Coq Hackathon and workgroup session
|
|
0
|
486
|
March 21, 2022
|
|
Coq 8.16 Release Schedule
|
|
0
|
664
|
March 16, 2022
|
|
Proof Assistants SE public beta
|
|
1
|
779
|
March 16, 2022
|
|
Workshop: Machine-Checked Mathematics, March 2-4
|
|
1
|
461
|
February 26, 2022
|
|
CoqPL 2022: Call for Presentations
|
|
1
|
766
|
February 23, 2022
|
|
Coq community survey 2022
|
|
5
|
1877
|
March 2, 2022
|
|
Coq Hackaton Winter 2022 edition
|
|
6
|
1160
|
February 14, 2022
|
|
Trakt 1.0 released
|
|
0
|
593
|
February 10, 2022
|