Developing the Coq system
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Interactions with OCaml features and runtime changes
|
|
5 | 790 | December 24, 2019 |
|
Scala extraction for Coq and Scala-like calculi in Coq
|
|
0 | 729 | December 18, 2019 |
|
Avoiding Duplicate Error Messages with the XML Protocol
|
|
2 | 503 | August 28, 2019 |
|
Extracting proof information
|
|
9 | 898 | June 24, 2019 |
|
Type-Based Termination in Coq
|
|
2 | 638 | June 15, 2019 |
|
Automatically treating failing proofs as if they were Admitted
|
|
5 | 705 | May 13, 2019 |
|
Feedback wanted for the rendering of alternatives in the reference manual
|
|
0 | 499 | May 13, 2019 |
|
Proposal: a custom build tool for Coq projects
|
|
14 | 1467 | April 12, 2019 |
|
Pull request policy
|
|
26 | 1507 | February 26, 2019 |