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
2010/04
117 mails
Pages navigation :
chronological Thread << < page # 4/4 > >>
- [Coq-Club] How come the Coq development mailing list isn't public?, Eelis van der Weegen
- [Coq-Club] one week-school on Coq: Modelling and verifying algorithms in Coq: an introduction, Yves Bertot
- [Coq-Club] why use [Set] instead of [Type] in a predicative-Set setting?, Adam Megacz
- [Coq-Club] setoid_rewrite under binders, Jianzhou Zhao
- Re: [Coq-Club] setoid_rewrite under binders,
Matthieu Sozeau
- Re: [Coq-Club] setoid_rewrite under binders, Jianzhou Zhao
- Re: [Coq-Club] setoid_rewrite under binders,
Matthieu Sozeau
- [Coq-Club] VSTTE 2010: Call for POSTERS, Gudmund Grov
- [Coq-Club] Triple Induction Tactic, M. Scott Doerrie
- Re: [Coq-Club] Triple Induction Tactic,
harke
- Re: [Coq-Club] Triple Induction Tactic,
AUGER
- Re: [Coq-Club] Triple Induction Tactic, Hugo Herbelin
- Re: [Coq-Club] Triple Induction Tactic,
AUGER
- Re: [Coq-Club] Triple Induction Tactic,
harke
- [Coq-Club] pb with universes, Loic Pottier
- Re: [Coq-Club] pb with universes, Loic Pottier
- Re: [Coq-Club] pb with universes, AUGER
- Re: [Coq-Club] pb with universes, AUGER
- Elimination of an inductive object of sort Prop (Re: [Coq-Club] more on vectors), Martijn Vermaat
- Re: Elimination of an inductive object of sort Prop (Re: [Coq-Club] more on vectors), Adam Koprowski
- Re: Elimination of an inductive object of sort Prop (Re: [Coq-Club] more on vectors), Roman Beslik
- <Possible follow-ups>
- Re: Elimination of an inductive object of sort Prop (Re: [Coq-Club] more on vectors), Adam Chlipala
- [Coq-Club] Ltac, again, Eric Jaeger
- Re: [Coq-Club] Ltac, again, Stéphane Lescuyer
- [Coq-Club] generalized variables, Loic Pottier
- [Coq-Club] 2 open PhD positions in formal development and testing of secure software, Christoph Sprenger
Archive powered by MhonArc 2.6.16.