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
2011/05
237 mails
Pages navigation :
chronological Thread << < page # 8/8 > >>
- [Coq-Club] is there a [Type] for which it is unprovable in coq if it is empty or not?, Georgi Guninski
- Re: [Coq-Club] is there a [Type] for which it is unprovable in coq if it is empty or not?, AUGER Cedric
- Re: [Coq-Club] is there a [Type] for which it is unprovable in coq if it is empty or not?, Daniel Schepler
- <Possible follow-ups>
- Re: [Coq-Club] is there a [Type] for which it is unprovable in coq if it is empty or not?, Thierry Martinez
- [Coq-Club] applying a function definition, paul . tarau
- Re: [Coq-Club] applying a function definition,
Guillaume Brunerie
- Re: [Coq-Club] applying a function definition,
Paul Tarau
- Re: [Coq-Club] applying a function definition, Guillaume Brunerie
- Re: [Coq-Club] applying a function definition, Paul Tarau
- Re: [Coq-Club] applying a function definition, Guillaume Brunerie
- Re: [Coq-Club] applying a function definition, Paul Tarau
- Re: [Coq-Club] applying a function definition,
Paul Tarau
- Re: [Coq-Club] applying a function definition,
Guillaume Brunerie
- [Coq-Club] Abuse of coercions gives weird results in coqtop., Georgi Guninski
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop.,
Georgi Guninski
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop., Georgi Guninski
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop.,
Georgi Guninski
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop., Adam Chlipala
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop., Brandon Moore
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop., Georgi Guninski
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop., Adam Chlipala
- Weak Pollack-super-inconsistency [Re: [Coq-Club] Abuse of coercions gives weird results in coqtop.], dhr. dr. J McKinna
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop., Georgi Guninski
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop., Brandon Moore
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop., Brandon Moore
- Re: [Coq-Club] Abuse of coercions gives weird results in coqtop.,
Georgi Guninski
- [Coq-Club] Rewriting with Existentials, Gregory Malecha
- Re: [Coq-Club] Rewriting with Existentials,
Jonas B. Jensen
- Re: [Coq-Club] Rewriting with Existentials, Jonas B. Jensen
- Re: [Coq-Club] Rewriting with Existentials,
Jonas B. Jensen
- [Coq-Club] DTP 2011: Second call for Talks, Wouter Swierstra
Archive powered by MhonArc 2.6.16.