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 > >>
- Re: [Coq-Club] Quantified Prop argument not deleted by extraction?, (continued)
- [Coq-Club] True:Prop, True:Set and Prop vs Set, Georgi Guninski
- Re: [Coq-Club] True:Prop, True:Set and Prop vs Set,
Hugo Herbelin
- Re: [Coq-Club] True:Prop, True:Set and Prop vs Set,
Georgi Guninski
- Re: [Coq-Club] True:Prop, True:Set and Prop vs Set, Hugo Herbelin
- Re: [Coq-Club] True:Prop, True:Set and Prop vs Set,
Georgi Guninski
- Re: [Coq-Club] True:Prop, True:Set and Prop vs Set,
Hugo Herbelin
- [Coq-Club] CFP: PADL'12 - Practical Aspects of Declarative Languages 2012, Claudio Russo
- [Coq-Club] how to display a fully parenthesized term, jonikelee
- Re: [Coq-Club] how to display a fully parenthesized term, Catalin Hritcu
- [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
- [Coq-Club] Folding 'not', Coq Dev
- Re: [Coq-Club] Folding 'not', gallais @ ensl.org
- Re: [Coq-Club] Folding 'not', Stéphane Lescuyer
- [Coq-Club] Re : Folding 'not',
Coq Dev
- [Coq-Club] Re : Folding 'not', Coq Dev
- <Possible follow-ups>
- Re: [Coq-Club] Folding 'not',
Paolo Herms
- Re: [Coq-Club] Folding 'not', Stéphane Lescuyer
- [Coq-Club] Computability: New Journal now Accepting Submissions!, CiE Conference Series
- [Coq-Club] about recursive definition, ldou
- Re: [Coq-Club] about recursive definition, Sylvain Heraud
- Re: [Coq-Club] about recursive definition, Andreas Abel
- [Coq-Club] VSTTE 2012 : Third Call for Papers, Gudmund Grov
- [Coq-Club] Prop, Set, Type and list, Julien Tesson
- <Possible follow-ups>
- Re: [Coq-Club] Prop, Set, Type and list,
brandon_m_moore
- Re: [Coq-Club] Prop, Set, Type and list,
Julien Tesson
- Re: [Coq-Club] Prop, Set, Type and list, AUGER Cedric
- Re: [Coq-Club] Prop, Set, Type and list, Julien Tesson
- Re: [Coq-Club] Prop, Set, Type and list,
Julien Tesson
Archive powered by MhonArc 2.6.16.