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
2013/06
211 mails
Chronological Thread << < page # 1/8 > >>
- [Coq-Club] CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014), Peter Höfner, 05/29/2013
- [Coq-Club] record value of "destruct" tactic, Math Prover, 06/01/2013
- Re: [Coq-Club] record value of "destruct" tactic, Gabriel Scherer, 06/01/2013
- Re: [Coq-Club] record value of "destruct" tactic, Math Prover, 06/01/2013
- Re: [Coq-Club] record value of "destruct" tactic, AUGER Cédric, 06/03/2013
- Re: [Coq-Club] record value of "destruct" tactic, Math Prover, 06/01/2013
- Re: [Coq-Club] record value of "destruct" tactic, Gabriel Scherer, 06/01/2013
- [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover, 06/01/2013
- [Coq-Club] Re: Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover, 06/01/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Yucheng Zhang, 06/01/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover, 06/01/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Pierre Courtieu, 06/03/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover, 06/03/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover, 06/03/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Yucheng Zhang, 06/03/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover, 06/03/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover, 06/01/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", gallais, 06/03/2013
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Vincent Demange, 06/03/2013
- [Coq-Club] SSTiC 2013: next registration deadline 26 June, GRLMC, 06/03/2013
- <Possible follow-up(s)>
- [Coq-Club] SSTiC 2013: next registration deadline 26 June, GRLMC, 06/15/2013
- [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Floyd Lee, 06/03/2013
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Adam Chlipala, 06/03/2013
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Pierre-Marie Pédrot, 06/03/2013
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Pierre-Marie Pédrot, 06/03/2013
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Christian Doczkal, 06/03/2013
- <Possible follow-up(s)>
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Floyd Lee, 06/03/2013
- [Coq-Club] APLAS 2013 second call for papers, Chung-chieh Shan, 06/03/2013
- [Coq-Club] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013, Serge Autexier, 06/03/2013
- [Coq-Club] Beginner question -- equality of types, Kevin Sullivan, 06/03/2013
- Re: [Coq-Club] Beginner question -- equality of types, Adam Chlipala, 06/03/2013
- Re: [Coq-Club] Beginner question -- equality of types, Math Prover, 06/03/2013
- Re: [Coq-Club] Beginner question -- equality of types, Kevin Sullivan, 06/03/2013
- Re: [Coq-Club] Beginner question -- equality of types, Adam Chlipala, 06/03/2013
Archive powered by MHonArc 2.6.18.