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/12
145 mails
Chronological Thread << < page # 5/5 > >>
- 12/12/26
- Re: [Coq-Club] classical logic and decidability, AUGER Cédric
- Re: [Coq-Club] Should I use ZFC to formalize order theory?, Daniel Schepler
- 12/12/27
- [Coq-Club] ANN: Iron Lambda, Ben Lippmeier
- [Coq-Club] Types Meeting 2013 in Toulouse, 23 - 26 April: first call for contributions, Ralph Matthes
- Re: [Coq-Club] Should I use ZFC to formalize order theory?, Adam Chlipala
- [Coq-Club] A naive thought: Some advantages of formalized mathematics over informal, Victor Porton
- 12/12/29
- [Coq-Club] A Coq site is down, Victor Porton
- Re: [Coq-Club] A Coq site is down, Adam Chlipala
- [Coq-Club] A false hope: A thing which cannot be directly expressed in Coq, Victor Porton
- Re: [Coq-Club] A false hope: A thing which cannot be directly expressed in Coq, Adam Chlipala
- Re: [Coq-Club] A false hope: A thing which cannot be directly expressed in Coq, Kristopher Micinski
- [Coq-Club] Inside a branch of a match block, how do I use the assertion that the matched expression is equal to the branch's data constructor expression?, abc.deaf.xyz
- [Coq-Club] Using setoids or not?, Victor Porton
- Re: [Coq-Club] Inside a branch of a match block, how do I use the assertion that the matched expression is equal to the branch's data constructor expression?, Adam Chlipala
- Re: [Coq-Club] Inside a branch of a match block, how do I use the assertion that the matched expression is equal to the branch's data constructor expression?, Kristopher Micinski
- Re: [Coq-Club] Using setoids or not?, Kristopher Micinski
- Re: [Coq-Club] Using setoids or not?, Gabriel Scherer
- Re: [Coq-Club] Inside a branch of a match block, how do I use the assertion that the matched expression is equal to the branch's data constructor expression?, Eduardo León
- Re: [Coq-Club] Inside a branch of a match block, how do I use the assertion that the matched expression is equal to the branch's data constructor expression?, Gabriel Scherer
- 12/12/30
- [Coq-Club] CFP: (Last Call) FOAL 2013 - Foundations of Aspect-Oriented Languages, Erik Ernst
- Re: [Coq-Club] Inside a branch of a match block, how do I use the assertion that the matched expression is equal to the branch's data constructor expression?, Matthieu Sozeau
- [Coq-Club] The term "pYX" has type "com" while it is expected to have type "Imp.com"., fengsheng
- 12/12/31
- Re: [Coq-Club] The term "pYX" has type "com" while it is expected to have type "Imp.com"., Pierre Casteran
- [Coq-Club] Error with Ltac, Andrew Hirsch
- Re: [Coq-Club] Error with Ltac, Adam Chlipala
Archive powered by MHonArc 2.6.18.