Announcements


Topic Replies Activity
std++ 1.2 4 May 4, 2019
Coq Users and Developers Workshop 2019 -- Call for participation 1 May 3, 2019
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