|
About the Developing the Coq system category
|
|
2
|
160
|
February 12, 2019
|
|
The V8.12.0 tag has been created
|
|
5
|
68
|
July 26, 2020
|
|
Confused with qualid
|
|
2
|
46
|
July 8, 2020
|
|
Online Coq Working Group
|
|
2
|
108
|
May 5, 2020
|
|
8.12 release schedule
|
|
1
|
92
|
April 27, 2020
|
|
Eliminate from Prop into Set when the prop is effectively singleton?
|
|
8
|
132
|
April 20, 2020
|
|
To Windows users of CoqIDE: request for comments about using Windows standard title bar rather than GTK+3 specific title bar
|
|
1
|
78
|
April 15, 2020
|
|
Emacs and LSP (or "Why are we stuck with current PG ?")
|
|
8
|
759
|
January 21, 2020
|
|
Interactions with OCaml features and runtime changes
|
|
6
|
176
|
December 24, 2019
|
|
Scala extraction for Coq and Scala-like calculi in Coq
|
|
1
|
132
|
December 18, 2019
|
|
Avoiding Duplicate Error Messages with the XML Protocol
|
|
3
|
130
|
August 28, 2019
|
|
Extracting proof information
|
|
10
|
402
|
June 24, 2019
|
|
Type-Based Termination in Coq
|
|
3
|
234
|
June 15, 2019
|
|
Automatically treating failing proofs as if they were Admitted
|
|
6
|
283
|
May 13, 2019
|
|
Feedback wanted for the rendering of alternatives in the reference manual
|
|
1
|
165
|
May 13, 2019
|
|
Proposal: a custom build tool for Coq projects
|
|
15
|
731
|
April 12, 2019
|
|
Pull request policy
|
|
27
|
577
|
February 26, 2019
|
