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/09
105 mails
Chronological Thread << < page # 3/4 > >>
- 12/09/17
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Andrej Bauer
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Kristopher Micinski
- 12/09/18
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Edward Z. Yang
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Benjamin Werner
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Pierce Benjamin C.
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Kristopher Micinski
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Kristopher Micinski
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Benjamin C. Pierce
- Re: [Coq-Club] fixpoint nested inside cofixpoint, Andreas Abel
- Re: [Coq-Club] fixpoint nested inside cofixpoint, Chung-Kil Hur
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Pierre Courtieu
- [Coq-Club] Re: fixpoint nested inside cofixpoint, Dimitur Krustev
- 12/09/19
- [Coq-Club] Scheduled downtime, Jean-Marc Notin
- [Coq-Club] equivalence between different classes, Daniele Pucci
- Re: [Coq-Club] equivalence between different classes, Gregory Malecha
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala
- 12/09/20
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Jonas Oberhauser
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Kristopher Micinski
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Wolfram Kahl
- [Coq-Club] call for papers: NFM 2013, Jean-Christophe Filliatre
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Julien Narboux
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Freek Wiedijk
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Jonas Oberhauser
- 12/09/21
- Re: [Coq-Club] Variant of [rewrite] that ignores type universes?, Jacques-Henri Jourdan
- 12/09/24
- Re: [Coq-Club] Coq and RSI, Pierre Courtieu
- [Coq-Club] Compilation errors on OSX, Andrej Bauer
- Re: [Coq-Club] Compilation errors on OSX, Pierre Boutillier
- Re: [Coq-Club] Compilation errors on OSX, Christian Doczkal
Archive powered by MHonArc 2.6.18.