List archive

• Re: [Coq-Club] Induction over ascii, (continued)
  • Re: [Coq-Club] Induction over ascii, txrev319, 10/24/2013
    • Re: [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
      • Re: [Coq-Club] Induction over ascii, Chris Dams, 10/24/2013
• [Coq-Club] Coq 8.4pl2 and Mavericks, Kenneth Roe, 10/26/2013
• [Coq-Club] How to Prove "~~A <-> A", hao chen, 10/26/2013
  • Re: [Coq-Club] How to Prove "~~A <-> A", Gabriel Scherer, 10/26/2013
• [Coq-Club] Relational & Algebraic Methods --- RAMiCS 2014 --- Final CFP, with Deadlines extended!, Wolfram Kahl, 10/26/2013
• [Coq-Club] How to make function with implicit arguments, Ilmārs Cīrulis, 10/26/2013
  • Re: [Coq-Club] How to make function with implicit arguments, Ilmārs Cīrulis, 10/27/2013
    • Re: [Coq-Club] How to make function with implicit arguments, Daniel de Rauglaudre, 10/27/2013
• [Coq-Club] Why I get a not responding when I launch `coqide` on MAC OS X 10.9?, yi lu, 10/27/2013
• [Coq-Club] inductive data types, well foundedness, termination, t x, 10/28/2013
  • Re: [Coq-Club] inductive data types, well foundedness, termination, Gabriel Scherer, 10/28/2013
• [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, t x, 10/28/2013
  • Re: [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, J. Ian Johnson, 10/28/2013
    • Re: [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, Arnaud Spiwack, 10/28/2013
  • Re: [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, Guillaume Brunerie, 10/28/2013
  • Re: [Coq-Club] Without law-of-excluded-middles, do we need a hierarchy of Types?, Cedric Auger, 10/28/2013
• [Coq-Club] universe inconsistency: constraints visualization, Abhishek Anand, 10/28/2013
  • Re: [Coq-Club] universe inconsistency: constraints visualization, Abhishek Anand, 10/29/2013
    • Re: [Coq-Club] universe inconsistency: constraints visualization, Pierre-Marie Pédrot, 10/29/2013
  • Re: [Coq-Club] universe inconsistency: constraints visualization, Matthieu Sozeau, 10/30/2013
• [Coq-Club] Qed takes long, Marcus Ramos, 10/28/2013
  • Re: [Coq-Club] Qed takes long, Matthieu Sozeau, 10/30/2013
    • Re: [Coq-Club] Qed takes long, Marcus Ramos, 10/30/2013
      • Re: [Coq-Club] Qed takes long, Cedric Auger, 10/30/2013
• [Coq-Club] Qed takes long time, Marcus Ramos, 10/28/2013
  • Re: [Coq-Club] Qed takes long time, Maxime Dénès, 10/28/2013
    • Re: [Coq-Club] Qed takes long time, Abhishek Anand, 10/28/2013
      • Re: [Coq-Club] Qed takes long time, Marcus Ramos, 10/29/2013

Archive powered by MHonArc 2.6.18.