Developing the Coq system


Topic Replies Activity
About the Developing the Coq system category 2 February 12, 2019
Emacs and LSP (or "Why are we stuck with current PG ?") 1 December 8, 2019
Avoiding Duplicate Error Messages with the XML Protocol 3 August 28, 2019
Extracting proof information 10 June 24, 2019
Type-Based Termination in Coq 3 June 15, 2019
Automatically treating failing proofs as if they were Admitted 6 May 13, 2019
Feedback wanted for the rendering of alternatives in the reference manual 1 May 13, 2019
Proposal: a custom build tool for Coq projects 15 April 12, 2019
Pull request policy 27 February 26, 2019