About the Developing the Coq system category
|
|
1
|
517
|
February 12, 2019
|
Terms modulo α-conversion and substitution
|
|
1
|
71
|
March 30, 2023
|
Coq 8.17.0 tag has been set
|
|
0
|
60
|
March 27, 2023
|
Coq 8.16.1 has been tagged
|
|
0
|
91
|
November 25, 2022
|
Branching v8.17 soon
|
|
0
|
142
|
November 16, 2022
|
Coq 8.16.0 has been tagged
|
|
0
|
133
|
September 5, 2022
|
Coq 8.16+rc1 has been tagged
|
|
0
|
153
|
June 1, 2022
|
Coq 8.15.2 tagged
|
|
0
|
142
|
May 31, 2022
|
Coq Working Group June 2022
|
|
4
|
260
|
May 11, 2022
|
8.15.1 tagged
|
|
0
|
253
|
March 22, 2022
|
Generalizing coercions to infer typeclass arguments
|
|
7
|
1227
|
March 9, 2022
|
V8.15.0 tag set
|
|
0
|
248
|
January 13, 2022
|
Coq 8.15 RC1
|
|
0
|
257
|
December 7, 2021
|
Coq 8.15 branch date
|
|
0
|
270
|
October 14, 2021
|
Enforcing that the parser and the documented syntax are in sync
|
|
0
|
297
|
July 16, 2021
|
Standard library of the future?
|
|
6
|
754
|
July 4, 2021
|
Dune is now required to build Coq
|
|
13
|
928
|
May 2, 2021
|
Our code of conduct might be incomplete
|
|
0
|
538
|
April 2, 2021
|
Building Coq with Bazel - need help with plugins
|
|
5
|
681
|
March 31, 2021
|
The V8.12.2 tag has been set
|
|
1
|
375
|
December 12, 2020
|
The V8.12.1 tag has been put
|
|
1
|
402
|
November 13, 2020
|
Dates for the 8.13 release
|
|
0
|
404
|
November 4, 2020
|
Ad hoc asynchronicity
|
|
10
|
586
|
October 23, 2020
|
Historical questions concerning inductive types (guard condition, accessibility)
|
|
2
|
581
|
September 15, 2020
|
The V8.12.0 tag has been created
|
|
4
|
476
|
July 26, 2020
|
Confused with qualid
|
|
1
|
474
|
July 8, 2020
|
Online Coq Working Group
|
|
1
|
522
|
May 5, 2020
|
8.12 release schedule
|
|
0
|
528
|
April 27, 2020
|
Eliminate from Prop into Set when the prop is effectively singleton?
|
|
7
|
896
|
April 20, 2020
|
To Windows users of CoqIDE: request for comments about using Windows standard title bar rather than GTK+3 specific title bar
|
|
0
|
440
|
April 15, 2020
|