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 |