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
2014/05
151 mails
Chronological Thread << < page # 3/6 > >>
- 14/05/13
- Re: [Coq-Club] Question about Exhaustive Matches, Adam Chlipala
- Re: [Coq-Club] Question about Exhaustive Matches, Cedric Auger
- Re: [Coq-Club] Question about Exhaustive Matches, Adam Chlipala
- Re: [Coq-Club] Question about Exhaustive Matches, Beta Ziliani
- Re: [Coq-Club] Question about Exhaustive Matches, Jason Gross
- Re: [Coq-Club] Question about Exhaustive Matches, Cedric Auger
- Re: [Coq-Club] About formalizations of the strong normalization theorem, Altenkirch Thorsten
- Re: [Coq-Club] Type class resolution issue, Jason Gross
- Re: [Coq-Club] About formalizations of the strong normalization theorem, Andrei Popescu
- Re: [Coq-Club] About formalizations of the strong normalization theorem, Randy Pollack
- Re: [Coq-Club] Question about Exhaustive Matches, Adam Chlipala
- Re: [Coq-Club] Question about Exhaustive Matches, Jason Gross
- 14/05/14
- [Coq-Club] Submission of abstract/full paper: May 15, 2014 ( ISI-indexed Journal in the List), ICCSS-14 ( Rize,Turkey)
- [Coq-Club] Proof of PE -> PI, Jonas Oberhauser
- Re: [Coq-Club] Proof of PE -> PI, Jonas Oberhauser
- [Coq-Club] Negating predicative universals into existentials, Eddy Westbrook
- Re: [Coq-Club] Negating predicative universals into existentials, Daniel Schepler
- Re: [Coq-Club] Negating predicative universals into existentials, Abhishek Anand
- Re: [Coq-Club] Negating predicative universals into existentials, Amin Timany
- Re: [Coq-Club] Negating predicative universals into existentials, Daniel Schepler
- Re: [Coq-Club] Negating predicative universals into existentials, Abhishek Anand
- Re: [Coq-Club] Negating predicative universals into existentials, Amin Timany
- 14/05/15
- Re: [Coq-Club] Negating predicative universals into existentials, Eddy Westbrook
- Re: [Coq-Club] Negating predicative universals into existentials, Eddy Westbrook
- [Coq-Club] First call for papers IFL 2014, publicityifl
- [Coq-Club] eauto succeeds but typeclasses eauto with core fails, Jonathan
- Re: [Coq-Club] eauto succeeds but typeclasses eauto with core fails, Jonathan
- [Coq-Club] Record tutorial, Marcus Ramos
- 14/05/16
- Re: [Coq-Club] Record tutorial, AUGER Cédric
- Re: [Coq-Club] Record tutorial, Arnaud Spiwack
Archive powered by MHonArc 2.6.18.