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/05
151 mails
Chronological Thread << < page # 1/6 > >>
- [Coq-Club] Reduction of a term (with a def in proof mode), rooster, 05/01/2013
- Re: [Coq-Club] Reduction of a term (with a def in proof mode), Pierre Casteran, 05/01/2013
- Re: [Coq-Club] Reduction of a term (with a def in proof mode), Maxime Dénès, 05/01/2013
- FW: [Coq-Club] Reduction of a term (with a def in proof mode), Franck Tidus, 05/04/2013
- Re: FW: [Coq-Club] Reduction of a term (with a def in proof mode), Thomas Braibant, 05/04/2013
- FW: [Coq-Club] Reduction of a term (with a def in proof mode), Franck Tidus, 05/04/2013
- [Coq-Club] Proof with a goal containing different constructors, mtkhan, 05/02/2013
- Re: [Coq-Club] Proof with a goal containing different constructors, Adam Chlipala, 05/02/2013
- Re: [Coq-Club] Proof with a goal containing different constructors, AUGER Cédric, 05/02/2013
- Re: [Coq-Club] Proof with a goal containing different constructors, mtkhan, 05/06/2013
- Re: [Coq-Club] Proof with a goal containing different constructors, AUGER Cédric, 05/06/2013
- Re: [Coq-Club] Proof with a goal containing different constructors, Kristopher Micinski, 05/02/2013
- Re: [Coq-Club] Proof with a goal containing different constructors, Adam Chlipala, 05/02/2013
- [Coq-Club] SSTiC 2013: next registration deadline 26 May, GRLMC, 05/05/2013
- <Possible follow-up(s)>
- [Coq-Club] SSTiC 2013: next registration deadline 26 May, GRLMC, 05/19/2013
- [Coq-Club] Inductive data types modulo equations in Coq, Andreas Schropp, 05/05/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Arnaud Spiwack, 05/06/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Andreas Schropp, 05/06/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Arnaud Spiwack, 05/07/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Frederic Blanqui, 05/07/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Pierre Courtieu, 05/15/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Bas Spitters, 05/14/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Bas Spitters, 05/14/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Andreas Schropp, 05/06/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Frederic Blanqui, 05/06/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Andreas Schropp, 05/06/2013
- Re: [Coq-Club] Inductive data types modulo equations in Coq, Arnaud Spiwack, 05/06/2013
- [Coq-Club] MCS: Formal Proofs for Mathematics and Computer Science [Call for Papers], Laurent Théry, 05/06/2013
- [Coq-Club] algebra contributions, Serge D. Mechveliani, 05/06/2013
- [Coq-Club] YR-CONCUR 2013 - Young Researchers Workshop on Concurrency Theory, Nicolas Dipi, 05/06/2013
- <Possible follow-up(s)>
- [Coq-Club] YR-CONCUR 2013 - Young Researchers Workshop on Concurrency Theory, Damian Barsotti, 05/08/2013
- [Coq-Club] Proof of structural equality, mtkhan, 05/06/2013
- Re: [Coq-Club] Proof of structural equality, Adam Chlipala, 05/06/2013
- Re: [Coq-Club] Proof of structural equality, mtkhan, 05/07/2013
- Re: [Coq-Club] Proof of structural equality, Adam Chlipala, 05/06/2013
Archive powered by MHonArc 2.6.18.