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
2018/09
61 mails
Chronological Thread << < page # 2/3 > >>
- 18/09/12
- [Coq-Club] Postdoc position at IMT Atlantique, Nantes, nicolas tabareau
- Re: [Coq-Club] Reading text from a json / xml file, Théo Zimmermann
- [Coq-Club] Open Engineer Position in ProofInUse joint laboratory, Claude Marché
- [Coq-Club] Postdoc opening at the University of Pennsylvania, Benjamin C. Pierce
- 18/09/14
- 18/09/17
- [Coq-Club] CoqPL 2019: Call for Presentations, Robbert Krebbers
- [Coq-Club] CPP 2019: Final Call for Papers, Magnus Myreen
- 18/09/18
- [Coq-Club] weird idtac, Erkki Luuk
- [Coq-Club] LPAR-22 in Ethiopia - Call for Short Papers, geoff
- Re: [Coq-Club] weird idtac, Bagnall, Alexander
- Re: [Coq-Club] weird idtac, Erkki Luuk
- 18/09/19
- [Coq-Club] Post-proceedings TYPES'18: Final call for papers, José Carlos Espírito Santo
- [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Emilio Jesús Gallego Arias
- 18/09/20
- [Coq-Club] [ANN] Procrastination v1.2, Armaël Guéneau
- 18/09/21
- [Coq-Club] ITP2019: Call for Workshops, O'Leary, John W
- [Coq-Club] Third Call for Papers: FSEN 2019, Maurice ter Beek
- [Coq-Club] Redefinition of extracted parameter, King, Oscar
- Re: [Coq-Club] Redefinition of extracted parameter, Gaëtan Gilbert
- 18/09/22
- Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Ralf Jung
- Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Théo Zimmermann
- Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Emilio Jesús Gallego Arias
- 18/09/24
- 18/09/25
- [Coq-Club] folding under binders, Abhishek Anand
- Re: [Coq-Club] folding under binders, Clément Pit-Claudel
- Re: [Coq-Club] folding under binders, Hugo Herbelin
- [Coq-Club] POPL'19 First Call for Student Volunteers, Alex Sanchez-Stern
- 18/09/26
- Re: [Coq-Club] POPL'19 First Call for Student Volunteers, Yixuan Chen
- [Coq-Club] JFLA 2019 : second appel à communications, Nicolas Magaud
- [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann
Archive powered by MHonArc 2.6.18.