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/02
153 mails
Pages navigation :
chronological Thread << < page # 5/6 > >>
- 12/02/24
- Re: [Coq-Club] Existential iota expansion tactic?, Pierre Courtieu
- Re: [Coq-Club] RE: question about evaluating a complex fixpoint, Jonas Oberhauser
- Re: [Coq-Club] dependent induction 2, Pierre Courtieu
- Re: [Coq-Club] Existential iota expansion tactic?, Paolo Herms
- [Coq-Club] Qed and Universes, Gregory Malecha
- Re: [Coq-Club] Qed and Universes, Jonas Oberhauser
- [Coq-Club] Question on Opaque/Transparent and commands versus tactics, Francois Pottier
- Re: [Coq-Club] Qed and Universes, Stéphane Glondu
- Re: [Coq-Club] Qed and Universes, Gregory Malecha
- [Coq-Club] ETAPS Workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012), Hugo Herbelin
- 12/02/26
- Re: [Coq-Club] Question on Opaque/Transparent and commands versus tactics, Pierre Boutillier
- [Coq-Club] { Coq|de \and Mac~OS }, Pierre Boutillier
- Re: [Coq-Club] dependent induction 2, Nils Anders Danielsson
- 12/02/27
- Re: [Coq-Club] dependent induction 2, Arnaud Spiwack
- Re: [Coq-Club] Question on Opaque/Transparent... or: one step of reduction of a fixpoint, Francois Pottier
- Re: [Coq-Club] Question on Opaque/Transparent and commands versus tactics, Francois Pottier
- [Coq-Club] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012, S B Cooper
- [Coq-Club] THedu12 1st call for papers, Julien Narboux
- Re: [Coq-Club] Question on Opaque/Transparent and commands versus tactics, Thomas Dinsdale-Young
- Re: [Coq-Club] Question on Opaque/Transparent... or: one step of reduction of a fixpoint, Stéphane Glondu
- Re: [Coq-Club] dependent induction 2, Nils Anders Danielsson
- Re: [Coq-Club] Question on Opaque/Transparent... or: one step of reduction of a fixpoint, AUGER Cédric
- Re: [Coq-Club] dependent induction 2, Arnaud Spiwack
- Re: [Coq-Club] Question on Opaque/Transparent and commands versus tactics, Francois Pottier
- Re: [Coq-Club] Question on Opaque/Transparent... or: one step of reduction of a fixpoint, Francois Pottier
- [Coq-Club] Building a black-box solver for linear algebra, Matthew Rocklin
- [Coq-Club] Strange problem with `destruct' tactic, Florian Lorenzen
- 12/02/28
- [Coq-Club] CALL FOR INFORMAL PRESENTATIONS: TURING CENTENARY CONFERENCE, CiE Conference Series
- Re: [Coq-Club] Building a black-box solver for linear algebra, Arnaud Spiwack
- Re: [Coq-Club] Building a black-box solver for linear algebra, Carlos.SIMPSON
Archive powered by MhonArc 2.6.16.