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/09
89 mails
Pages navigation :
chronological Thread << < page # 1/3 > >>
- 09/09/01
- [Coq-Club] and expressed by a record, Cedric Auger
- Re: [Coq-Club] and expressed by a record, Stéphane Lescuyer
- Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof), Edsko de Vries
- Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof), Edsko de Vries
- Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof), Thorsten Altenkirch
- Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof), Edsko de Vries
- [Coq-Club] Re: Adding (inductive) transitivity to weak bisimilarity not sound?, Nils Anders Danielsson
- [Coq-Club] Re: [Agda] Re: Adding (inductive) transitivity to weak bisimilarity not sound?, Edsko de Vries
- 09/09/02
- [Coq-Club] Second Call for Papers: VSTTE 2009, Jean-Christophe Filliâtre
- [Coq-Club] Bound variables in induction hypotheses, Thomas Thüm
- Re: [Coq-Club] Bound variables in induction hypotheses, Edsko de Vries
- [Coq-Club] co-Acc, muad
- Re: [Coq-Club] co-Acc, Edsko de Vries
- 09/09/03
- Re: [Coq-Club] Announcing Ssreflect version 1.2, Stéphane Glondu
- Re: [Coq-Club] Bound variables in induction hypotheses, Cedric Auger
- [Coq-Club] Re: Adding (inductive) transitivity to weak bisimilarity not sound?, Nils Anders Danielsson
- 09/09/04
- [Coq-Club] comparing binary trees, David Singh
- [Coq-Club] comparing binary trees, David Singh
- Re: [Coq-Club] comparing binary trees, Luke Palmer
- 09/09/07
- Re: [Coq-Club] coq abstract syntax tree, Adam Chlipala
- [Coq-Club] About duration calculus, Hai WAN
- Re: [Coq-Club] About duration calculus, Yves Bertot
- Re: [Coq-Club] About duration calculus, Samuel Colin
- 09/09/09
- [Coq-Club] Sigma Type Coercion, Julio
- Re: [Coq-Club] Sigma Type Coercion, Luke Palmer
- Re: [Coq-Club] Sigma Type Coercion, Julio
- Re: [Coq-Club] Sigma Type Coercion, Adam Chlipala
- Re: [Coq-Club] Sigma Type Coercion, Adam Chlipala
- 09/09/10
- [Coq-Club] Contexts in Natural Deduction, Damien Andrew Tamburri
- [Coq-Club] coq pretty printer, Bas Spitters
Archive powered by MhonArc 2.6.16.