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
2012/01
148 mails
Pages navigation :
chronological Thread << < page # 5/5 > >>
- Re: [Coq-Club] Positivity and Elimination Principle, (continued)
- Re: [Coq-Club] Positivity and Elimination Principle, AUGER Cédric
- Message not available
- Re: [Coq-Club] Positivity and Elimination Principle, Daniel Schepler
- Re: [Coq-Club] examples of singleton elimination, Hugo Herbelin
- Message not available
- Re: [Coq-Club] examples of singleton elimination, Bruno Barras
- Re: [Coq-Club] Can you help us with coq bugs ?, Thomas Braibant
- <Possible follow-ups>
- [Coq-Club] Can you help us with Coq bugs ?, Pierre Boutillier
- Re: [Coq-Club] Rewriting / dependent type / projT2,
Adam Chlipala
- Re: [Coq-Club] Rewriting / dependent type / projT2,
Vladimir Voevodsky
- Re: [Coq-Club] Rewriting / dependent type / projT2, Eric Finster
- Re: [Coq-Club] Rewriting / dependent type / projT2,
Dominique Larchey-Wendling
- Re: [Coq-Club] Rewriting / dependent type / projT2, Daniel Schepler
- Re: [Coq-Club] Rewriting / dependent type / projT2,
Vladimir Voevodsky
- Re: [Coq-Club] Rewriting / dependent type / projT2,
Chris Dams
- Re: [Coq-Club] Rewriting / dependent type / projT2, Vladimir Voevodsky
- Re: [Coq-Club] question about simulation relation,
Pierre-Marie Pédrot
- [Coq-Club] Re: question about simulation relation,
lisa
- Re: [Coq-Club] Re: question about simulation relation, Pierre Casteran
- Re: [Coq-Club] Re: question about simulation relation, Daniel Schepler
- [Coq-Club] Re: question about simulation relation,
lisa
- Re: [Coq-Club] question about simulation relation, Thomas Dinsdale-Young
- Re: [Coq-Club] Provable equalities on types, Vilhelm Sjöberg
Archive powered by MhonArc 2.6.16.