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
2013/10
241 mails
Chronological Thread << < page # 8/9 > >>
- 13/10/25
- Re: [Coq-Club] Universe Inconsistencies, Jesper Bengtson
- Re: [Coq-Club] Strange behaviour of induction with eqn: option, Rui Baptista
- 13/10/26
- [Coq-Club] Coq 8.4pl2 and Mavericks, Kenneth Roe
- [Coq-Club] How to Prove "~~A <-> A", hao chen
- Re: [Coq-Club] How to Prove "~~A <-> A", Gabriel Scherer
- [Coq-Club] Relational & Algebraic Methods --- RAMiCS 2014 --- Final CFP, with Deadlines extended!, Wolfram Kahl
- [Coq-Club] How to make function with implicit arguments, Ilmārs Cīrulis
- 13/10/27
- 13/10/28
- [Coq-Club] inductive data types, well foundedness, termination, t x
- RE: [Coq-Club] Strange behaviour of induction with eqn: option, Soegtrop, Michael
- Re: [Coq-Club] inductive data types, well foundedness, termination, Gabriel Scherer
- [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, t x
- Re: [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, J. Ian Johnson
- Re: [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, Guillaume Brunerie
- Re: [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, Arnaud Spiwack
- Re: [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, Cedric Auger
- [Coq-Club] universe inconsistency: constraints visualization, Abhishek Anand
- [Coq-Club] Qed takes long, Marcus Ramos
- [Coq-Club] Qed takes long time, Marcus Ramos
- Re: [Coq-Club] Qed takes long time, Maxime Dénès
- Re: [Coq-Club] Qed takes long time, Abhishek Anand
- 13/10/29
- Re: [Coq-Club] Qed takes long time, Marcus Ramos
- Re: [Coq-Club] Qed takes long time, AUGER Cédric
- Re: [Coq-Club] universe inconsistency: constraints visualization, Abhishek Anand
- Re: [Coq-Club] universe inconsistency: constraints visualization, Pierre-Marie Pédrot
- 13/10/30
- Re: [Coq-Club] universe inconsistency: constraints visualization, Matthieu Sozeau
- Re: [Coq-Club] Qed takes long, Matthieu Sozeau
- [Coq-Club] Using and matching a hypothesis in Ltac, Bruno Woltzenlogel Paleo
Archive powered by MHonArc 2.6.18.