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 > >>
- 08/11/19
- [Coq-Club] Question about the tactic simpl, Gyesik Lee
- [Coq-Club] dependent destruct question, Thomas Braibant
- Re: [Coq-Club] Axioms of parametricity?, Taral
- Re: [Coq-Club] Questions about "Declare ML Module" etc, Guillaume Yziquel
- 08/11/20
- [Coq-Club] About the meaning of proof-irrelevance, Gyesik Lee
- [Coq-Club] Agda beats Coq (was: Termination proof in partiality monad), Edsko de Vries
- [Coq-Club] induction & dependent destruction question, Thomas Braibant
- [Coq-Club] Re: Agda beats Coq, Nils Anders Danielsson
- [Coq-Club] induction & dependent destruction question, Thomas Braibant
- [Coq-Club] Re: [Agda] Re: Agda beats Coq, Matthieu Sozeau
- 08/11/21
- [Coq-Club] Re: Agda beats Coq (was: Termination proof in partiality monad), Dan Doel
- [Coq-Club] induction & dependent destruction question, Thomas Braibant
- [Coq-Club] Re: Agda beats Coq, Nils Anders Danielsson
- [Coq-Club] VMCAI 2009: Call for Participation, Markus Mueller-Olm
- [Coq-Club] Soutenance de thèse de Matthieu Sozeau, Matthieu Sozeau
- 08/11/22
- Re: [Coq-Club] induction & dependent destruction question, Matthieu Sozeau
- Re: [Coq-Club] Question about the tactic simpl, Adam Chlipala
- Re: [Coq-Club] Re: Agda beats Coq (was: Termination proof in partiality monad), Aaron Bohannon
- [Coq-Club] Re: Agda beats Coq, Nils Anders Danielsson
- 08/11/23
- Re: [Coq-Club] Re: Agda beats Coq (was: Termination proof in partiality monad), Dan Doel
- [Coq-Club] Re: Agda beats Coq, Nils Anders Danielsson
- [Coq-Club] Working with typeclasses in 8.2beta, Brian Aydemir
- Re: [Coq-Club] Working with typeclasses in 8.2beta, Matthieu Sozeau
- 08/11/24
- RE: [Coq-Club] Working with typeclasses in 8.2beta, Georges Gonthier
- Re: [Coq-Club] About the meaning of proof-irrelevance, Arnaud Spiwack
- Re: [Coq-Club] Re: Agda beats Coq (was: Termination proof in partiality monad), Dan Doel
- Re: [Coq-Club] Coq Extraction and String, Xavier Leroy
- Re: [Coq-Club] Re: Agda beats Coq (was: Termination proof in partiality monad), Aaron Bohannon
- Re: [Coq-Club] Re: Agda beats Coq, Xavier Leroy
- Re: [Coq-Club] Re: Agda beats Coq (was: Termination proof in partiality monad), Dan Doel
Archive powered by MhonArc 2.6.16.