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
2009/12
61 mails
Pages navigation :
chronological Thread << < page # 1/3 > >>
- 09/12/01
- [Coq-Club] RTA 1st CFP (July 11 - July 13, 2010, Edinburgh), RTA publicity chair
- [Coq-Club] matching, Flávio Leonardo Cavalcanti de Moura
- Re: [Coq-Club] matching, Adam Chlipala
- Re: [Coq-Club] matching, Guillaume Melquiond
- Re: [Coq-Club] matching, Flávio Leonardo Cavalcanti de Moura
- Re: [Coq-Club] matching, Flávio Leonardo Cavalcanti de Moura
- Re: [Coq-Club] transforming imperative language into Coq specification, Stéphane Glondu
- 09/12/02
- [Coq-Club] 3 full professor positions at DIKU, Fritz Henglein
- [Coq-Club] PhD studentships at Nottingham, Thorsten Altenkirch
- 09/12/07
- [Coq-Club] CoLoR: new release, Frederic Blanqui
- 09/12/08
- [Coq-Club] Call for Participation: PLPV 2010, Jean-Christophe Filliâtre
- [Coq-Club] Call for Papers: IWS 2010, Munoz, Cesar Augusto (LARC-D320)
- 09/12/09
- [Coq-Club] Reset Induction Principle, Qiang Liu
- [Coq-Club] Call for Papers: ICLP 2010, Torsten Schaub
- [Coq-Club] Properties on mutual definitions, Thomas Thüm
- RE: [Coq-Club] Reset Induction Principle, Georges Gonthier
- Re: [Coq-Club] Properties on mutual definitions, Adam Chlipala
- [Coq-Club] Modules and Inductive types, Christian Doczkal
- Re: [Coq-Club] Properties on mutual definitions, Thomas Thüm
- [Coq-Club] Sets in Coq, Christian Doczkal
- Re: [Coq-Club] Modules and Inductive types, Adam Koprowski
- Re: [Coq-Club] Modules and Inductive types, AUGER
- Re: [Coq-Club] Sets in Coq, Adam Chlipala
- Re: [Coq-Club] Sets in Coq, Vladimir Voevodsky
- Re: [Coq-Club] Properties on mutual definitions, AUGER
- Re: [Coq-Club] Sets in Coq, Carlos . SIMPSON
- Re: [Coq-Club] Properties on mutual definitions, muad
- Re: [Coq-Club] Properties on mutual definitions, Adam Chlipala
- Re: [Coq-Club] Properties on mutual definitions, Taral
- [Coq-Club] Properties on mutual definitions, Thomas Thüm
Archive powered by MhonArc 2.6.16.