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
2019/07
82 mails
Chronological Thread << < page # 3/3 > >>
- 19/07/25
- 19/07/26
- RE: [Coq-Club] Ltac2: how to use ltac2 constr variables in calls to ltac 2 notations?, Soegtrop, Michael
- [Coq-Club] Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages), Jurriaan Hage
- [Coq-Club] Assistant Professor in Software Science at Radboud University Nijmegen, Frits Vaandrager
- [Coq-Club] RAMiCS2020 - 2nd CFP, Michael Winter
- 19/07/27
- 19/07/28
- [Coq-Club] ITP 2019: Second Call for Participation, O'Leary, John W
- [Coq-Club] Vote for location of ITP2021 (DEADLINE 2nd Aug), O'Leary, John W
- 19/07/29
- [Coq-Club] Using many interpretation scopes, N. Raghavendra
- [Coq-Club] ETAPS 2020 1st joint call for papers, Tarmo Uustalu
- [Coq-Club] Recruiting proof engineers for a study on development processes, Talia Ringer
- Re: [Coq-Club] Recruiting proof engineers for a study on development processes, Talia Ringer
- 19/07/30
- [Coq-Club] Doing eta-expansion in Ltac, Serguei Lenglet
- Re: [Coq-Club] Doing eta-expansion in Ltac, Tej Chajed
- [Coq-Club] PhD position in homotopy type theory at Birmingham, Nicolai Kraus
- 19/07/31
- [Coq-Club] Custom entries examples, Benjamin C. Pierce
- Re: [Coq-Club] Custom entries examples, Andres Erbsen
- Re: [Coq-Club] Custom entries examples, Emilio Jesús Gallego Arias
- Re: [Coq-Club] Custom entries examples, Benjamin C. Pierce
- [Coq-Club] Coq and Unicode, Benjamin C. Pierce
- Re: [Coq-Club] Coq and Unicode, Théo Zimmermann
Archive powered by MHonArc 2.6.18.