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 > >>
- 13/05/29
- 13/06/01
- [Coq-Club] record value of "destruct" tactic, Math Prover
- [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover
- Re: [Coq-Club] record value of "destruct" tactic, Gabriel Scherer
- Re: [Coq-Club] record value of "destruct" tactic, Math Prover
- [Coq-Club] Re: Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Yucheng Zhang
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover
- 13/06/03
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Yucheng Zhang
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Pierre Courtieu
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", gallais
- [Coq-Club] SSTiC 2013: next registration deadline 26 June, GRLMC
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Math Prover
- Re: [Coq-Club] record value of "destruct" tactic, AUGER Cédric
- [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Floyd Lee
- [Coq-Club] APLAS 2013 second call for papers, Chung-chieh Shan
- [Coq-Club] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013, Serge Autexier
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Adam Chlipala
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Pierre-Marie Pédrot
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Christian Doczkal
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Pierre-Marie Pédrot
- Re: [Coq-Club] Provability of (proj_sig1 x) = (proj_sig1 y) -> x = y, Floyd Lee
- Re: [Coq-Club] Destructing a "nat" into 0, 1, 2, 3, ..., k-1 and ">= k", Vincent Demange
- [Coq-Club] Beginner question -- equality of types, Kevin Sullivan
- Re: [Coq-Club] Beginner question -- equality of types, Adam Chlipala
- [Coq-Club] Fwd: intros x [H1 | H1], Marcus Ramos
- Re: [Coq-Club] Fwd: intros x [H1 | H1], Valentin ROBERT
- Re: [Coq-Club] Fwd: intros x [H1 | H1], Adam Chlipala
Archive powered by MHonArc 2.6.18.