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
2015/09
151 mails
Chronological Thread << < page # 1/6 > >>
- [Coq-Club] coq in ubuntu, Patricia Peratto, 08/31/2015
- RE: [Coq-Club] coq in ubuntu, Soegtrop, Michael, 09/01/2015
- Re: [Coq-Club] coq in ubuntu, Patricia Peratto, 09/08/2015
- Re: [Coq-Club] coq in ubuntu, Ali Assaf, 09/09/2015
- Re: [Coq-Club] coq in ubuntu, Patricia Peratto, 09/18/2015
- Re: [Coq-Club] coq in ubuntu, Ali Assaf, 09/19/2015
- Re: [Coq-Club] coq in ubuntu, Patricia Peratto, 09/08/2015
- RE: [Coq-Club] coq in ubuntu, Soegtrop, Michael, 09/01/2015
- Re: [Coq-Club] a question, Pierre Courtieu, 09/01/2015
- <Possible follow-up(s)>
- [Coq-Club] a question, Vladimir Voevodsky, 09/28/2015
- Re: [Coq-Club] a question, Peter LeFanu Lumsdaine, 09/28/2015
- Re: [Coq-Club] [HoTT] Re: a question, Bas Spitters, 09/28/2015
- Re: [Coq-Club] [HoTT] Re: a question, Martin Escardo, 09/28/2015
- Re: [Coq-Club] a question, Jean-Francois Monin, 09/28/2015
- Re: [Coq-Club] a question, Thorsten Altenkirch, 09/28/2015
- Re: [Coq-Club] a question, Gabriel Scherer, 09/28/2015
- Re: [Coq-Club] a question, Andrew Polonsky, 09/28/2015
- Re: [Coq-Club] a question, Peter LeFanu Lumsdaine, 09/28/2015
- [Coq-Club] Clarification on Prod rule for typing, Jake Ehrlich, 09/01/2015
- Re: [Coq-Club] Clarification on Prod rule for typing, Pierre-Marie Pédrot, 09/01/2015
- Re: [Coq-Club] Clarification on Prod rule for typing, Ali Assaf, 09/01/2015
- Re: [Coq-Club] Clarification on Prod rule for typing, Pierre-Marie Pédrot, 09/01/2015
- Re: [Coq-Club] Problem with Native-Coq, Maxime Dénès, 09/01/2015
- [Coq-Club] difference between simpl and unfold, shenshengyu, 09/02/2015
- Re: [Coq-Club] difference between simpl and unfold, Pierre Courtieu, 09/03/2015
- Re: [Coq-Club] difference between simpl and unfold, shengyu shen, 09/03/2015
- Re: [Coq-Club] difference between simpl and unfold, Pierre Courtieu, 09/03/2015
- Re: [Coq-Club] difference between simpl and unfold, shengyu shen, 09/03/2015
- Re: [Coq-Club] difference between simpl and unfold, Pierre Courtieu, 09/03/2015
- [Coq-Club] 2nd CALL FOR PARTICIPATION (RAMiCS 2015), Michael Winter, 09/02/2015
- [Coq-Club] ETAPS 2016 2nd call for papers, Tarmo Uustalu, 09/03/2015
- <Possible follow-up(s)>
- [Coq-Club] ETAPS 2016 2nd call for papers, Tarmo Uustalu, 09/03/2015
- [Coq-Club] Extraction question: how to keep unused arguments, Alan Schmitt, 09/03/2015
- Re: [Coq-Club] Extraction question: how to keep unused arguments, Alan Schmitt, 09/03/2015
- [Coq-Club] : is ∀A: Prop, ∼∼(A∨∼A) provable in Coq?, shengyu shen, 09/03/2015
- Re: [Coq-Club] : is ∀A: Prop, ∼∼(A∨∼A) provable in Coq?, Pierre Casteran, 09/03/2015
Archive powered by MHonArc 2.6.18.