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
2011/07
121 mails
Pages navigation :
chronological Thread << < page # 2/5 > >>
- 11/07/06
- Re: [Coq-Club] Article hunt: Gimenez ENS-Lyon tech report, Peter LeFanu Lumsdaine
- 11/07/07
- 11/07/08
- [Coq-Club] how to display a fully parenthesized term, jonikelee
- [Coq-Club] Decidable equality in Coq, ldou
- Re: [Coq-Club] Decidable equality in Coq, Chris Dams
- [Coq-Club] SSV 2011: Call for Participation, Hendrik Tews
- [Coq-Club] Call for participation: DTP 2011, Wouter Swierstra
- 11/07/10
- 11/07/11
- Re: [Coq-Club] how to display a fully parenthesized term, Catalin Hritcu
- [Coq-Club] Folding 'not', Coq Dev
- Re: [Coq-Club] Folding 'not', gallais @ ensl.org
- Re: [Coq-Club] Folding 'not', Stéphane Lescuyer
- [Coq-Club] Computability: New Journal now Accepting Submissions!, CiE Conference Series
- Re: [Coq-Club] Folding 'not', Paolo Herms
- Re: [Coq-Club] Folding 'not', Stéphane Lescuyer
- [Coq-Club] about recursive definition, ldou
- Re: [Coq-Club] about recursive definition, Sylvain Heraud
- Re: [Coq-Club] about recursive definition, Andreas Abel
- 11/07/12
- 11/07/13
- [Coq-Club] Prop, Set, Type and list, Julien Tesson
- Re: [Coq-Club] Prop, Set, Type and list, brandon_m_moore
- Re: [Coq-Club] Prop, Set, Type and list, Julien Tesson
- Re: [Coq-Club] Computing with Program Fixpoint using well-founded termination criteria, David Pereira
- [Coq-Club] match/ proof of branch, marco . servetto
- Re: [Coq-Club] match/ proof of branch, Adam Chlipala
- Re: [Coq-Club] match/ proof of branch, Marco Servetto
- Re: [Coq-Club] match/ proof of branch, gallais @ ensl.org
Archive powered by MhonArc 2.6.16.