List archive

• Re: [Coq-Club] Coq classes don't work as expected!, (continued)
  • Re: [Coq-Club] Coq classes don't work as expected!, Victor Porton
    • Re: [Coq-Club] Coq classes don't work as expected!, Victor Porton
      • Re: [Coq-Club] Coq classes don't work as expected!, Victor Porton
      • Re: [Coq-Club] Coq classes don't work as expected!, Vincent Siles
• [Coq-Club] Cannot refer to an object as a whole, Victor Porton
• [Coq-Club] Why this does not compile?, Victor Porton
  • Re: [Coq-Club] Why this does not compile?, Pierre Casteran
• [Coq-Club] Re: [Bug 2631] INSTALL.macosx file unhelpful, Andrew Pennebaker
• [Coq-Club] How to define combination in coq, ×óÓ£
  • Re: [Coq-Club] How to define combination in coq, Beta Ziliani
  • Re: [Coq-Club] How to define combination in coq, Adam Chlipala
• [Coq-Club] compilation error for coq-8.2pl2, Gyesik Lee
  • <Possible follow-ups>
  • Re: [Coq-Club] compilation error for coq-8.2pl2, Daniel de Rauglaudre
• [Coq-Club] compilation error for 8.2pl2, Gyesik Lee
• [Coq-Club] Another nasty hangup with dependent types, Kenneth Roe
  • Re: [Coq-Club] Another nasty hangup with dependent types, Adam Chlipala
• [Coq-Club] an update to Foundations, Vladimir Voevodsky
• [Coq-Club] WST 2012: First Call For Papers, Georg Moser
• [Coq-Club] Replacing dependent structure condtions, Victor Porton
  • Re: [Coq-Club] Replacing dependent structure condtions, Gregory Malecha
• [Coq-Club] How to write a lemma?, Victor Porton
• [Coq-Club] Call for Participation: APLAS+CPP, bywang
• [Coq-Club] Defining a fixpoint using "Inductive" by means of Mendler-style fixpoint, Chung-Kil Hur
  • Re: [Coq-Club] Defining a fixpoint using "Inductive" by means of Mendler-style fixpoint, Vladimir Komendantsky
• [Coq-Club] Associativity for free!, David Leduc
  • Re: [Coq-Club] Associativity for free!, Adam Chlipala
    • Re: [Coq-Club] Associativity for free!, Arnaud Spiwack
      • Re: [Coq-Club] Associativity for free!, Daniel Schepler
• [Coq-Club] 1yr researcher on the formath project, Bas Spitters
• [Coq-Club] What is the meaning of dependent record conditions?, Victor Porton

Archive powered by MhonArc 2.6.16.