coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2020/04
121 mails
Chronological Thread << < page # 3/5 > >>
- 20/04/16
- [Coq-Club] LFMTP 2020 CFP (UPDATES due to Coronavirus), Claudio Sacerdoti Coen
- [Coq-Club] Certified Programs and Proofs (CPP) 2021: First Call for Papers, Andrei Popescu
- 20/04/17
- Re: [Coq-Club] MathComp 1.11.0+beta1 released, Yves Bertot
- [Coq-Club] Why `ex2`?, Maximilian Wuttke
- [Coq-Club] PhD programs in programming languages and formal methods, Carl Patenaude-Poulin
- [Coq-Club] Submit to FCS 2020: Workshop on Foundations of Computer Security, Joshua Gancher
- Re: [Coq-Club] Why `ex2`?, Christian Doczkal
- 20/04/18
- Re: [Coq-Club] PhD programs in programming languages and formal methods, Jeremy Dawson
- Re: [Coq-Club] Why `ex2`?, Maximilian Wuttke
- Re: [Coq-Club] Why `ex2`?, Hugo Herbelin
- 20/04/20
- 20/04/21
- [Coq-Club] bottom , false, Patricia Peratto
- [Coq-Club] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (CfP, Deadline Extension), Bruno Bernardo
- [Coq-Club] VTLTC 2020 - Final Call for Online Participation, r.e.monti AT utwente.nl
- [Coq-Club] [CfP] ICLP2020 Sister Conferences and Journal Presentation Track: The 36th International Conference on Logic Programming, Laura Pandolfo
- [Coq-Club] [CfP] ICLP2020 The Research Challenges Track: The 36th International Conference on Logic Programming, Laura Pandolfo
- 20/04/22
- [Coq-Club] Overloading the forall notation, Gregory Malecha
- [Coq-Club] any Ltac2 examples out there?, jonikelee AT gmail.com
- Re: [Coq-Club] any Ltac2 examples out there?, Jason Gross
- Re: [Coq-Club] PhD programs in programming languages and formal methods, Samuel Gruetter
- Re: [Coq-Club] any Ltac2 examples out there?, jonikelee AT gmail.com
- Re: [Coq-Club] any Ltac2 examples out there?, jonikelee AT gmail.com
- [Coq-Club] Call for Papers -International Conference on Machine learning and Cloud Computing (MLCL 2020), Liya Mallory
- [Coq-Club] EJCP 2020 - ANNULATION, Jean-Christophe Filliatre
- Re: [Coq-Club] any Ltac2 examples out there?, Tej Chajed
- [Coq-Club] Question about Coq universes, richard Dapoigny
- Re: [Coq-Club] Question about Coq universes, Gaëtan Gilbert
- Re: [Coq-Club] Question about Coq universes, richard Dapoigny
- Re: [Coq-Club] Overloading the forall notation, Jason Gross
- Re: [Coq-Club] Question about Coq universes, Kenji Maillard
Archive powered by MHonArc 2.6.18.