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 > >>
- [Coq-Club] Explanation of setoid_rewrite "Error: build_signature: no constraint can apply on a dependent argument", Jason Gross, 12/24/2012
- [Coq-Club] Coq 8.4pl1, Pierre Letouzey, 12/25/2012
- [Coq-Club] ESSS 2013 -- submission deadline extended, 山形賴之, 12/26/2012
- [Coq-Club] ANN: Iron Lambda, Ben Lippmeier, 12/27/2012
- [Coq-Club] Types Meeting 2013 in Toulouse, 23 - 26 April: first call for contributions, Ralph Matthes, 12/27/2012
- [Coq-Club] A naive thought: Some advantages of formalized mathematics over informal, Victor Porton, 12/27/2012
- [Coq-Club] A Coq site is down, Victor Porton, 12/29/2012
- Re: [Coq-Club] A Coq site is down, Adam Chlipala, 12/29/2012
- [Coq-Club] A false hope: A thing which cannot be directly expressed in Coq, Victor Porton, 12/29/2012
- Re: [Coq-Club] A false hope: A thing which cannot be directly expressed in Coq, Adam Chlipala, 12/29/2012
- Re: [Coq-Club] A false hope: A thing which cannot be directly expressed in Coq, Kristopher Micinski, 12/29/2012
- [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, 12/29/2012
- 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, 12/29/2012
- 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, 12/29/2012
- 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, 12/30/2012
- [Coq-Club] Using setoids or not?, Victor Porton, 12/29/2012
- Re: [Coq-Club] Using setoids or not?, Kristopher Micinski, 12/29/2012
- Re: [Coq-Club] Using setoids or not?, Gabriel Scherer, 12/29/2012
- Re: [Coq-Club] Using setoids or not?, Kristopher Micinski, 12/29/2012
- [Coq-Club] CFP: (Last Call) FOAL 2013 - Foundations of Aspect-Oriented Languages, Erik Ernst, 12/30/2012
- [Coq-Club] The term "pYX" has type "com" while it is expected to have type "Imp.com"., fengsheng, 12/30/2012
- Re: [Coq-Club] The term "pYX" has type "com" while it is expected to have type "Imp.com"., Pierre Casteran, 12/31/2012
- [Coq-Club] Error with Ltac, Andrew Hirsch, 12/31/2012
- Re: [Coq-Club] Error with Ltac, Adam Chlipala, 12/31/2012
Archive powered by MHonArc 2.6.18.