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
2013/02
64 mails
Chronological Thread << < page # 2/3 > >>
- 13/02/13
- Re: [Coq-Club] Empty type, Adam Chlipala
- Re: [Coq-Club] Empty type, Guillaume Brunerie
- Re: [Coq-Club] Empty type, Guillaume Brunerie
- Re: [Coq-Club] Empty type, Jean-Francois Monin
- Re: [Coq-Club] Empty type, Marco Maggesi
- [Coq-Club] Predicative Church numerals, Arthur Azevedo de Amorim
- 13/02/14
- [Coq-Club] Second Call For Papers: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK, Serge Autexier
- [Coq-Club] TABLEAUX 2013 - Second Call for Papers, Tutorials and Workshops, Dominique Larchey-Wendling
- Re: [Coq-Club] Predicative Church numerals, Colm Bhandal
- Re: [Coq-Club] Predicative Church numerals, Arthur Azevedo de Amorim
- Re: [Coq-Club] Predicative Church numerals, Arthur Azevedo de Amorim
- 13/02/16
- [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, Valentin ROBERT
- 13/02/17
- [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, valentin.robert.42
- RE: [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, Georges Gonthier
- Re: [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, Valentin ROBERT
- RE: [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, Georges Gonthier
- 13/02/18
- 13/02/19
- [Coq-Club] "Unable to parse accelerator ...", Dmitry Grebeniuk
- [Coq-Club] Getting [Existing Class] to behave like [Class], Jason Gross
- Re: [Coq-Club] Getting [Existing Class] to behave like [Class], Matthieu Sozeau
- 13/02/20
- 13/02/21
- [Coq-Club] Types Meeting 2013 in Toulouse, 23 - 26 April: last call for contributions, Ralph Matthes
- [Coq-Club] nested definitions, Nuno Gaspar
- [Coq-Club] QEST 2013 - Last call for papers, Damian Barsotti
- 13/02/22
- Re: [Coq-Club] nested definitions, Pierre-Marie Pédrot
- Re: [Coq-Club] nested definitions, Jean-Francois Monin
- [Coq-Club] AI4FM 2013 : First Call For Papers (ITP 2013 workshop), Ewen Maclean
- Re: [Coq-Club] "Unable to parse accelerator ...", Xavier Leroy
- Re: [Coq-Club] "Unable to parse accelerator ...", Dmitry Grebeniuk
- Re: [Coq-Club] nested definitions, AUGER Cédric
Archive powered by MHonArc 2.6.18.