Announcements


Topic Replies Activity
Plugin for proof reuse with indexed types for Coq 8.8.0 1 April 1, 2019
Equations 1.2beta2 1 March 19, 2019
[CFP] The Coq Workshop 2019 1 March 15, 2019
A library of undecidable problems for Coq 1 February 26, 2019