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