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 |