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
2010/10
151 mails
Pages navigation :
chronological Thread << < page # 3/6 > >>
- Re: [Coq-Club] About mutual recursion, (continued)
- Re: [Coq-Club] About mutual recursion, Adam Chlipala
- Re: [Coq-Club] About mutual recursion, Gyesik Lee
- Re: [Coq-Club] About mutual recursion, Gyesik Lee
- Re: [Coq-Club] About mutual recursion, Adam Chlipala
- Re: [Coq-Club] About mutual recursion, Gyesik Lee
- Re: [Coq-Club] About mutual recursion, AUGER Cedric
- Re: [Coq-Club] About mutual recursion, Thorsten Altenkirch
- Re: [Coq-Club] (Not) About mutual recursion,
Jean-Francois Monin
- Re: [Coq-Club] (Not) About mutual recursion, Gyesik Lee
- [Coq-Club] well-ordering of natural numbers, staecker
- Re: [Coq-Club] well-ordering of natural numbers, Stéphane Lescuyer
- [Coq-Club] Fwd: type class issue in Coq 8.3, Aaron Bohannon
- Re: [Coq-Club] Fwd: type class issue in Coq 8.3,
Stéphane Lescuyer
- Re: [Coq-Club] Fwd: type class issue in Coq 8.3,
Aaron Bohannon
- Re: [Coq-Club] Fwd: type class issue in Coq 8.3, Stéphane Lescuyer
- Re: [Coq-Club] Fwd: type class issue in Coq 8.3,
Aaron Bohannon
- Re: [Coq-Club] Fwd: type class issue in Coq 8.3,
Stéphane Lescuyer
- [Coq-Club] JFLA 2011: extension jusqu'au 24 octobre, conchon
- [Coq-Club] Trying to compile ssreflect (coqmktop error), Edsko de Vries
- <Possible follow-ups>
- Re: [Coq-Club] Trying to compile ssreflect (coqmktop error), Laurent Théry
- [Coq-Club] Postdoc and PhD Studentship: Automatic Proof Procedures with Engineering Applications, Lawrence Paulson
- [Coq-Club] alternatives to sumbool (was: avoid duplication of instances), Aaron Bohannon
- [Coq-Club] mechanizing the metatheory of coq, Chris Casinghino
- <Possible follow-ups>
- Re: [Coq-Club] mechanizing the metatheory of coq, Bruno Barras
- [Coq-Club] Something like [Qed] for [Program], and a workaround, Adam Megacz
- [Coq-Club] can uninstantiated existentials be converted into subgoals?, Adam Megacz
- [Coq-Club] two related questions, Vladimir Voevodsky
- Re: [Coq-Club] two related questions, Adam Chlipala
Archive powered by MhonArc 2.6.16.