List archive

• [Coq-Club] typeclass-based Ring tactics?, Samuel Bronson
  • Re: [Coq-Club] typeclass-based Ring tactics? (+ Coq 8.2 beta), Hugo Herbelin
• [Coq-Club] Call for Participation: Conferences on Intelligent Computer Mathematics, Volker Sorge
• [Coq-Club] automated zeta expansion?, Andrew McCreight
  • [Coq-Club] Re: automated zeta expansion?, Andrew McCreight
    • Re: [Coq-Club] Re: automated zeta expansion?, Jean.Duprat
• [Coq-Club] Automated Reasoning Workshop 2008 (Extended Deadline), Louise Dennis
• [Coq-Club] Final CFP: ML Workshop 2008, Eijiro Sumii
• [Coq-Club] IJCAR 2008 in Australia, Geoff Sutcliffe
• [Coq-Club] Job in Formal Methods at Gemalto Technology & Innovation, NGUYEN Quang-Huy
• [Coq-Club] Call for papers AVOCS 2008, Alice Miller
• [Coq-Club] TLDI 2009 Call for Papers, Amal Ahmed
• [Coq-Club] Automated generation of lemmas, Razvan Voicu
  • Re: [Coq-Club] Automated generation of lemmas, Benjamin Werner
• [Coq-Club] Problem of "exclusive proof", Frédéric Gava
  • Re: [Coq-Club] Problem of "exclusive proof", harke
• [Coq-Club] Packaging for Fedora, Alan Dunn
• [Coq-Club] Universe constraints, Edsko de Vries
  • Re: [Coq-Club] Universe constraints, Adam Chlipala
    • Re: [Coq-Club] Universe constraints, Edsko de Vries
      • Re: [Coq-Club] Universe constraints, Adam Chlipala
      • Re: [Coq-Club] Universe constraints, Edsko de Vries
      • Re: [Coq-Club] Universe constraints, Adam Chlipala
      • Re: [Coq-Club] Universe constraints, Hugo Herbelin
• [Coq-Club] On "Set Printing Universes", Edsko de Vries
• [Coq-Club] CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08), demis
• Re: [Coq-Club] Re: allowing non-structurally terminating functions ?, rouxcody
• [Coq-Club] Deadline extended: ML Workshop 2008, Eijiro Sumii
• [Coq-Club] CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08), demis
• [Coq-Club] MPC 2008: LAST CALL FOR PARTICIPATION, Christine Paulin

Archive powered by MhonArc 2.6.16.