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
2008/11
116 mails
Pages navigation :
chronological Thread << < page # 3/4 > >>
- Re: [Coq-Club] Re: Agda beats Coq, (continued)
- Re: [Coq-Club] Re: Agda beats Coq, Xavier Leroy
- Re: [Coq-Club] Re: Agda beats Coq, Arnaud Spiwack
- Re: [Coq-Club] Re: Agda beats Coq, Arnaud Spiwack
- Re: [Coq-Club] Re: Agda beats Coq, Aaron Bohannon
- Re: [Coq-Club] Re: Agda beats Coq, Dan Doel
- Re: [Coq-Club] Re: Agda beats Coq, Arnaud Spiwack
- Re: [Coq-Club] Re: Agda beats Coq (was: Termination proof in partiality monad), Dan Doel
- Re: [Coq-Club] Re: Agda beats Coq (was: Termination proof in partiality monad), Thorsten Altenkirch
- [Coq-Club] First CFP: WWV 2009, Temur Kutsia
- [Coq-Club] Axioms of parametricity?, Taral
- Re: [Coq-Club] Axioms of parametricity?,
André Hirschowitz
- Re: [Coq-Club] Axioms of parametricity?,
Taral
- Re: [Coq-Club] Axioms of parametricity?, Matthew Brecknell
- Re: [Coq-Club] Axioms of parametricity?, Taral
- Re: [Coq-Club] Axioms of parametricity?, JAEGER, Eric (SGDN)
- Re: [Coq-Club] Axioms of parametricity?, Yves Bertot
- Re: [Coq-Club] Axioms of parametricity?, Matthieu Sozeau
- Re: [Coq-Club] Axioms of parametricity?, Taral
- Re: [Coq-Club] Axioms of parametricity?,
Taral
- Re: [Coq-Club] Axioms of parametricity?,
André Hirschowitz
- [Coq-Club] Call for papers: NASA Formal Methods Symposium, Ewen Denney
- [Coq-Club] Coq Extraction and String, Gregory Malecha
- Re: [Coq-Club] Coq Extraction and String, Xavier Leroy
- [Coq-Club] About the meaning of proof-irrelevance proof, Gyesik Lee
- [Coq-Club] Question about the tactic simpl, Gyesik Lee
- Re: [Coq-Club] Question about the tactic simpl, Adam Chlipala
- [Coq-Club] dependent destruct question, Thomas Braibant
- [Coq-Club] About the meaning of proof-irrelevance, Gyesik Lee
- Re: [Coq-Club] About the meaning of proof-irrelevance, Arnaud Spiwack
- [Coq-Club] induction & dependent destruction question, Thomas Braibant
- Message not available
- [Coq-Club] induction & dependent destruction question,
Thomas Braibant
- [Coq-Club] induction & dependent destruction question, Thomas Braibant
- [Coq-Club] induction & dependent destruction question,
Thomas Braibant
- Message not available
Archive powered by MhonArc 2.6.16.