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 > >>
- 15/08/31
- [Coq-Club] coq in ubuntu, Patricia Peratto
- 15/09/01
- RE: [Coq-Club] coq in ubuntu, Soegtrop, Michael
- Re: [Coq-Club] a question, Pierre Courtieu
- [Coq-Club] Clarification on Prod rule for typing, Jake Ehrlich
- Re: [Coq-Club] Clarification on Prod rule for typing, Pierre-Marie Pédrot
- Re: [Coq-Club] Clarification on Prod rule for typing, Ali Assaf
- Re: [Coq-Club] Problem with Native-Coq, Maxime Dénès
- 15/09/02
- [Coq-Club] difference between simpl and unfold, shenshengyu
- [Coq-Club] 2nd CALL FOR PARTICIPATION (RAMiCS 2015), Michael Winter
- 15/09/03
- [Coq-Club] ETAPS 2016 2nd call for papers, Tarmo Uustalu
- [Coq-Club] Extraction question: how to keep unused arguments, Alan Schmitt
- [Coq-Club] : is ∀A: Prop, ∼∼(A∨∼A) provable in Coq?, shengyu shen
- Re: [Coq-Club] : is ∀A: Prop, ∼∼(A∨∼A) provable in Coq?, Pierre Casteran
- Re: [Coq-Club] Extraction question: how to keep unused arguments, Alan Schmitt
- Re: [Coq-Club] : is ∀A: Prop, ∼∼(A∨∼A) provable in Coq?, Arnaud Spiwack
- Re: [Coq-Club] : is ∀A: Prop, ∼∼(A∨∼A) provable in Coq?, Dominique Larchey-Wendling
- Re: [Coq-Club] difference between simpl and unfold, Pierre Courtieu
- [Coq-Club] Question about Extraction, Ilmārs Cīrulis
- Re: [Coq-Club] : is ∀A: Prop, ∼∼(A∨∼A) provable in Coq?, shengyu shen
- Re: [Coq-Club] difference between simpl and unfold, shengyu shen
- Re: [Coq-Club] difference between simpl and unfold, Pierre Courtieu
- [Coq-Club] LPAR-20 Short Presentation Papers, Geoff Sutcliffe
- [Coq-Club] ETAPS 2016 2nd call for papers, Tarmo Uustalu
- 15/09/04
- [Coq-Club] Haskell extractor: imports, type parameters, Nikita Karetnikov
- [Coq-Club] Universe Checks in 8.5, Gregory Malecha
- Re: [Coq-Club] Universe Checks in 8.5, Jason Gross
- Re: [Coq-Club] Universe Checks in 8.5, Enrico Tassi
- Re: [Coq-Club] Universe Checks in 8.5, Jesper Bengtson
- Re: [Coq-Club] Universe Checks in 8.5, Gregory Malecha
- [Coq-Club] How to simplify / compute with a recursive "Function" definition, Washington Ribeiro
Archive powered by MHonArc 2.6.18.