Developing the Coq system


Topic Replies Activity
About the Developing the Coq system category 2 February 12, 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
Extracting proof information 6 April 4, 2019
Pull request policy 27 February 26, 2019