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/12
241 mails
Chronological Thread << < page # 5/9 > >>
- 13/12/13
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Pierre-Marie Pédrot
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Daniel Schepler
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Guillaume Melquiond
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Abhishek Anand
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Robbert Krebbers
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Maxime Dénès
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Maxime Dénès
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Daniel Schepler
- [Coq-Club] CoqMT Guide?, Jason Gross
- [Coq-Club] CFP: 8th International Conference on TESTS AND PROOFS (TAP 2014), Nikolai Tillmann
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Christine Paulin
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Pierre Boutillier
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Maxime Dénès
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Arnaud Spiwack
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Pierre Boutillier
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Viktor Vafeiadis
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Arnaud Spiwack
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Pierre Boutillier
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Christine Paulin
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Anthony Bordg
- RE: [Coq-Club] How to print state of SFLib Case, SCase?, Soegtrop, Michael
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Jacques-Henri Jourdan
- [Coq-Club] Inductive definition: proving something is not a <inductively defined thing>, Christopher Ernest Sally
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Matthieu Sozeau
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Guillaume Brunerie
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Jacques-Henri Jourdan
- Re: [Coq-Club] Inductive definition: proving something is not a <inductively defined thing>, Arnaud Spiwack
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Arnaud Spiwack
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Andreas Abel
- [Coq-Club] Now available in print: "Certified Programming with Dependent Types", Adam Chlipala
Archive powered by MHonArc 2.6.18.