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
1999/02
21 mails
Pages navigation :
chronological Thread << < page # 1/1 > >>
- 99/02/01
- A question about Exists in LISTS/Streams.v, David Nowak
- The predicate Exists, Eduardo Gimenez
- 99/02/02
- Coq 6.2.4 released, Hugo Herbelin
- 99/02/04
- Gallina .g files?, Randy Pollack
- Re: Gallina .g files?, Jean-Christophe Filliatre
- skipping the proofs, Randy Pollack
- 6.2.2 -> 6.2.4 : Implicit Arguments On., David Nowak
- Re: 6.2.2 -> 6.2.4 : Implicit Arguments On., Patrick Loiseleur
- Re: skipping the proofs, Jean-Christophe Filliatre
- Re: skipping the proofs, Randy Pollack
- 99/02/16
- eq_ind et eta ?, Sylvain BOULM'E
- Re: eq_ind et eta ?, Christine Paulin
- Parsing "Fixpoint"., Randy Pollack
- Re: Parsing "Fixpoint"., Patrick Loiseleur
- 99/02/17
- Parameters in "Definitions"?, Randy Pollack
- Re: Parameters in "Definitions"?, Bruno Barras
- Re: Parameters in "Definitions"?, Randy Pollack
- Re: Parameters in "Definitions"?, Patrick Loiseleur
- 99/02/25
- Universal Algebra, Venanzio Capretta
- Re: Universal Algebra, Randy Pollack
- universes in Coq, Loic Pottier
Archive powered by MhonArc 2.6.16.