Developing the Coq system
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
To Windows users of CoqIDE: request for comments about using Windows standard title bar rather than GTK+3 specific title bar
|
|
0 | 469 | April 15, 2020 |
|
Emacs and LSP (or "Why are we stuck with current PG ?")
|
|
7 | 3036 | January 21, 2020 |
|
Interactions with OCaml features and runtime changes
|
|
5 | 904 | December 24, 2019 |
|
Scala extraction for Coq and Scala-like calculi in Coq
|
|
0 | 821 | December 18, 2019 |
|
Avoiding Duplicate Error Messages with the XML Protocol
|
|
2 | 596 | August 28, 2019 |
|
Extracting proof information
|
|
9 | 969 | June 24, 2019 |
|
Type-Based Termination in Coq
|
|
2 | 688 | June 15, 2019 |
|
Automatically treating failing proofs as if they were Admitted
|
|
5 | 772 | May 13, 2019 |
|
Feedback wanted for the rendering of alternatives in the reference manual
|
|
0 | 535 | May 13, 2019 |
|
Proposal: a custom build tool for Coq projects
|
|
14 | 1634 | April 12, 2019 |
|
Pull request policy
|
|
26 | 1623 | February 26, 2019 |