Announcements


Topic Replies Activity
About the Announcements category 2 February 12, 2019
Some advice on how to subscribe to the activity on Discourse

By default, when you create an account on Discourse, you are set to receive summary e-mails every week and notification e-mails when someone replies to you. You can edit these settings in your personal preferences and fi…

2 February 11, 2019
Welcome to Discourse 2 February 10, 2019
LibHyps 1.0: tactics for manipulation of (groups of) hypothesis 3 July 10, 2019
Proving for Fun: Summer Edition 5 July 5, 2019
CoqHammer 1.1.1 for Coq 8.9 13 June 19, 2019
[CFP] The Coq Workshop 2019 (Deadline Extension) 1 June 6, 2019
Looking for Formal Methods Engineer to work at NASA 1 June 6, 2019
[2nd CFP] The Coq Workshop 2019 1 May 22, 2019
Coq 8.9.1 1 May 21, 2019
Coq-community project releases for Coq 8.9 1 May 20, 2019
Coq 8.10+β1 1 May 15, 2019
std++ 1.2 4 May 4, 2019
Coq Users and Developers Workshop 2019 -- Call for participation 1 May 3, 2019
jsCoq and SerAPI releases 1 April 24, 2019
Jupyter Kernel for Coq 1 April 2, 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