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/07
151 mails
Chronological Thread << < page # 5/6 > >>
- 12/07/23
- Re: [Coq-Club] How to make Coq ``see'' emptyness of inductively defined Props?, Paolo Herms
- Re: [Coq-Club] How to make Coq ``see'' emptyness of inductively defined Props?, Wolfram Kahl
- Re: [Coq-Club] How to make Coq ``see'' emptyness of inductively defined Props?, Adam Chlipala
- [Coq-Club] Automatic eta reduction in 8.4beta2?, Jason Gross
- 12/07/24
- [Coq-Club] "coqmktop -top" fail with unbound module error, Beta Ziliani
- Re: [Coq-Club] Universe Polymorphism?, Jason Gross
- 12/07/25
- Re: [Coq-Club] "coqmktop -top" fail with unbound module error, Stéphane Glondu
- Re: [Coq-Club] "coqmktop -top" fail with unbound module error, Beta Ziliani
- [Coq-Club] Extraction with OCaml strings, Benjamin C. Pierce
- [Coq-Club] Simplest example of impredicative Prop?, Benjamin C. Pierce
- Re: [Coq-Club] Simplest example of impredicative Prop?, Adam Chlipala
- Re: [Coq-Club] Simplest example of impredicative Prop?, gallais @ ensl.org
- Re: [Coq-Club] Extraction with OCaml strings, Paolo Herms
- Re: [Coq-Club] Extraction with OCaml strings, AUGER Cédric
- Re: [Coq-Club] Extraction with OCaml strings, Benjamin C. Pierce
- Re: [Coq-Club] Simplest example of impredicative Prop?, Chung-Kil Hur
- [Coq-Club] Why is [Prop] not in [Set]?, Jason Gross
- Re: [Coq-Club] Why is [Prop] not in [Set]?, Ryan Wisnesky
- 12/07/26
- Re: [Coq-Club] Universe Polymorphism?, Tom Prince
- Re: [Coq-Club] Universe Polymorphism?, Jason Gross
- [Coq-Club] Speeding up [destruct] and [apply]., Jason Gross
- Re: [Coq-Club] Speeding up [destruct] and [apply]., Pierre Courtieu
- [Coq-Club] PLPV 2013 First Call for Papers, Harley D. Eades III
- Re: [Coq-Club] Speeding up [destruct] and [apply]., Jason Gross
- 12/07/27
- Re: [Coq-Club] Simplest example of impredicative Prop?, Arnaud Spiwack
- Re: [Coq-Club] Why is [Prop] not in [Set]?, Arnaud Spiwack
- 12/07/28
- [Coq-Club] Getting [where] notation to work in [Record]s, Jason Gross
- Re: [Coq-Club] Getting [where] notation to work in [Record]s, Matthieu Sozeau
- 12/07/30
Archive powered by MHonArc 2.6.18.