List archive

• Re: [Coq-Club] Universe polymorphism, (continued)
  • Re: [Coq-Club] Universe polymorphism, Adam Chlipala
    • Re: [Coq-Club] Universe polymorphism, Lauri Alanko
    • Re: [Coq-Club] Universe polymorphism, Benjamin Werner
• [Coq-Club] compiler problem (with ML files), Houda Anoun
• [Coq-Club] Inefficent inductive family, roconnor
• [Coq-Club] Shortening proofs that the square root of 2 is non rational., Yves Bertot
  • [Coq-Club] Elliptic curve in Coq, Thery Laurent
  • Re: [Coq-Club] Shortening proofs that the square root of 2 is non rational., frédéric BESSON
    • Re: [Coq-Club] Shortening proofs that the square root of 2 is non rational., roconnor
      • Re: [Coq-Club] Shortening proofs that the square root of 2 is non rational., Yves Bertot
• [Coq-Club] 2nd CFP: Higher-Order Rewriting 2007, Ralph Matthes
• [Coq-Club] Re: [Coq-Club]Final release of Coq V8.1, Frederic Blanqui
• [Coq-Club] a funny example (universe polymorphism), Benjamin Werner
  • Re: [Coq-Club] a funny example (universe polymorphism), Lauri Alanko
    • Re: [Coq-Club] a funny example (universe polymorphism), Lauri Alanko
  • <Possible follow-ups>
  • [Coq-Club] a funny example (universe polymorphism), Benjamin Werner
• [Coq-Club] How to implement arbitrary object factories ...., Satrajit Roy
• [Coq-Club] (no subject), dz dz
  • Re: [Coq-Club] (no subject), Edsko de Vries
    • Re: [Coq-Club] (no subject), Pierre Courtieu
  • Re: [Coq-Club] (no subject), Adam Chlipala
    • Re: [Coq-Club] (no subject), dz dz
      • Re: [Coq-Club] (no subject), Pierre Courtieu
  • <Possible follow-ups>
  • Re: [Coq-Club] (no subject), dz dz
• [Coq-Club] Extended deadline: CFP - SASA 2007, E. Segura
• [Coq-Club] Extended deadline: CFP - SSW 2007, E. Segura
• [Coq-Club] UNIF'07 second call for papers, Evelyne Contejean
• [Coq-Club] PhD position at INRIA, Gilles . Barthe
• [Coq-Club] (CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments, Wim Vanhoof
• [Coq-Club] inversion, simple inversion and dependent rewrite, Florent Becker

Archive powered by MhonArc 2.6.16.