|
About the Developing the Coq system category
|
|
1
|
368
|
February 12, 2019
|
|
V8.15.0 tag set
|
|
0
|
37
|
January 13, 2022
|
|
Coq 8.15 RC1
|
|
0
|
66
|
December 7, 2021
|
|
Generalizing coercions to infer typeclass arguments
|
|
7
|
468
|
October 18, 2021
|
|
Coq 8.15 branch date
|
|
0
|
86
|
October 14, 2021
|
|
Enforcing that the parser and the documented syntax are in sync
|
|
0
|
106
|
July 16, 2021
|
|
Standard library of the future?
|
|
6
|
307
|
July 4, 2021
|
|
Dune is now required to build Coq
|
|
13
|
391
|
May 2, 2021
|
|
Our code of conduct might be incomplete
|
|
0
|
315
|
April 2, 2021
|
|
Building Coq with Bazel - need help with plugins
|
|
5
|
272
|
March 31, 2021
|
|
The V8.12.2 tag has been set
|
|
1
|
219
|
December 12, 2020
|
|
The V8.12.1 tag has been put
|
|
1
|
246
|
November 13, 2020
|
|
Dates for the 8.13 release
|
|
0
|
249
|
November 4, 2020
|
|
Ad hoc asynchronicity
|
|
10
|
385
|
October 23, 2020
|
|
Historical questions concerning inductive types (guard condition, accessibility)
|
|
2
|
360
|
September 15, 2020
|
|
The V8.12.0 tag has been created
|
|
4
|
296
|
July 26, 2020
|
|
Confused with qualid
|
|
1
|
268
|
July 8, 2020
|
|
Online Coq Working Group
|
|
1
|
347
|
May 5, 2020
|
|
8.12 release schedule
|
|
0
|
355
|
April 27, 2020
|
|
Eliminate from Prop into Set when the prop is effectively singleton?
|
|
7
|
524
|
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
|
297
|
April 15, 2020
|
|
Emacs and LSP (or "Why are we stuck with current PG ?")
|
|
7
|
1923
|
January 21, 2020
|
|
Interactions with OCaml features and runtime changes
|
|
5
|
593
|
December 24, 2019
|
|
Scala extraction for Coq and Scala-like calculi in Coq
|
|
0
|
508
|
December 18, 2019
|
|
Avoiding Duplicate Error Messages with the XML Protocol
|
|
2
|
332
|
August 28, 2019
|
|
Extracting proof information
|
|
9
|
688
|
June 24, 2019
|
|
Type-Based Termination in Coq
|
|
2
|
494
|
June 15, 2019
|
|
Automatically treating failing proofs as if they were Admitted
|
|
5
|
544
|
May 13, 2019
|
|
Feedback wanted for the rendering of alternatives in the reference manual
|
|
0
|
380
|
May 13, 2019
|
|
Proposal: a custom build tool for Coq projects
|
|
14
|
1194
|
April 12, 2019
|
