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
[Call for Help] Learn Coq in Y minutes 7 November 12, 2019
Coq 8.10.1 1 October 25, 2019
CoqPL 2020: Deadline extended to 27 Oct 1 October 24, 2019
Proof engineering survey published 3 October 22, 2019
Jupyter Kernel for Coq 4 October 11, 2019
CoqPL 2020: Call for Presentations 2 October 11, 2019
Coq 8.10.0 2 October 8, 2019
MetaCoq 1.0alpha 1 September 30, 2019
Coq Andes Summer School (Jan 2020, Chile) 1 September 23, 2019
Coq 8.10+β3 2 September 19, 2019
[Follow-up] The Coq Workshop 2019 1 September 18, 2019
Natural deduction in Coq - A tutorial (in german) 2 September 8, 2019
Iris 3.2 and std++ 1.2.1 1 August 30, 2019
Dependently typed Haskell in industry 1 August 10, 2019
[CI] OS+OPAM Upgrade for Docker images of Coq and MathComp 1 August 2, 2019
[Call for Participation] The Coq Workshop 2019 1 August 1, 2019
Recruiting proof engineers for a study on development processes 1 July 30, 2019
jsCoq and SerAPI releases 1 April 24, 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