|
About the Developing the Coq system category
|
|
1
|
672
|
February 12, 2019
|
|
Idea for a collaborative Coq
|
|
6
|
83
|
June 1, 2024
|
|
8.20 branching next month
|
|
0
|
66
|
May 15, 2024
|
|
Coq 8.19.0 tagged
|
|
0
|
159
|
January 24, 2024
|
|
Roadmap for Coq's source code and metatheory understanding.
|
|
1
|
241
|
January 14, 2024
|
|
V8.19+rc1 tagged
|
|
0
|
141
|
December 18, 2023
|
|
Upcoming 8.19 branch
|
|
0
|
227
|
October 31, 2023
|
|
Tag V8.18.0 is set
|
|
4
|
283
|
October 11, 2023
|
|
Coq manual build with dune
|
|
3
|
298
|
October 9, 2023
|
|
Terms modulo α-conversion and substitution
|
|
1
|
403
|
March 30, 2023
|
|
Coq 8.17.0 tag has been set
|
|
0
|
316
|
March 27, 2023
|
|
Coq 8.16.1 has been tagged
|
|
0
|
383
|
November 25, 2022
|
|
Branching v8.17 soon
|
|
0
|
463
|
November 16, 2022
|
|
Coq 8.16.0 has been tagged
|
|
0
|
425
|
September 5, 2022
|
|
Coq 8.16+rc1 has been tagged
|
|
0
|
467
|
June 1, 2022
|
|
Coq 8.15.2 tagged
|
|
0
|
415
|
May 31, 2022
|
|
Coq Working Group June 2022
|
|
4
|
532
|
May 11, 2022
|
|
8.15.1 tagged
|
|
0
|
580
|
March 22, 2022
|
|
Generalizing coercions to infer typeclass arguments
|
|
7
|
1961
|
March 9, 2022
|
|
V8.15.0 tag set
|
|
0
|
479
|
January 13, 2022
|
|
Coq 8.15 RC1
|
|
0
|
481
|
December 7, 2021
|
|
Coq 8.15 branch date
|
|
0
|
484
|
October 14, 2021
|
|
Enforcing that the parser and the documented syntax are in sync
|
|
0
|
533
|
July 16, 2021
|
|
Standard library of the future?
|
|
6
|
1476
|
July 4, 2021
|
|
Dune is now required to build Coq
|
|
13
|
1420
|
May 2, 2021
|
|
Our code of conduct might be incomplete
|
|
0
|
769
|
April 2, 2021
|
|
Building Coq with Bazel - need help with plugins
|
|
5
|
1017
|
March 31, 2021
|
|
The V8.12.2 tag has been set
|
|
1
|
577
|
December 12, 2020
|
|
The V8.12.1 tag has been put
|
|
1
|
636
|
November 13, 2020
|
|
Dates for the 8.13 release
|
|
0
|
629
|
November 4, 2020
|