List archive

• [Coq-Club] Check lemma_name gives error immediately after lemma is proved, Matt Ridsdale
  • Re: [Coq-Club] Check lemma_name gives error immediately after lemma is proved, Adam Chlipala
    • Re: [Coq-Club] Check lemma_name gives error immediately after lemma is proved, Matt Ridsdale
  • Re: [Coq-Club] Check lemma_name gives error immediately after lemma is proved, Matthieu Sozeau
• [Coq-Club] moving around let ... in, Keiko Nakata
  • Re: [Coq-Club] moving around let ... in, Edsko de Vries
  • Re: [Coq-Club] moving around let ... in, Guillaume Melquiond
• [Coq-Club] Automatic derivation of an order for simple algebraic datatypes in Coq?, Adam Koprowski
  • Re: [Coq-Club] Automatic derivation of an order for simple algebraic datatypes in Coq?, muad
• [Coq-Club] Problem with a Proof, Ashish Darbari
  • Re: [Coq-Club] Problem with a Proof, Yves Bertot
  • Re: [Coq-Club] Problem with a Proof, Yves Bertot
• [Coq-Club] TASE 2009 - CALL FOR PAPERS, CRACIUN F.
• [Coq-Club] First CFP for FACS'09, Sun Meng
• [Coq-Club] FAQ; 8.2, Gábor Bakos
• [Coq-Club] Higher-order logic, Robert Rothenberg
  • Re: [Coq-Club] Higher-order logic, Nadeem Abdul Hamid
• [Coq-Club] (no subject), Woon Ming
• [Coq-Club] Select .. Shift, Woon Ming
  • Re: [Coq-Club] Select .. Shift, Taral
• [Coq-Club] FAQ, Gábor Bakos
  • Re: [Coq-Club] FAQ, Adam Chlipala
  • Re: [Coq-Club] FAQ, Julien Narboux
    • Re: [Coq-Club] FAQ, Gábor Bakos
• [Coq-Club] Help-Cannot find the Coq proof of polychronous protocol for LTTA., prateek agarwal
• [Coq-Club] strange recursive error, Rohit Persaud
  • <Possible follow-ups>
  • [Coq-Club] strange recursive error, Rohit Persaud
    • Re: [Coq-Club] strange recursive error, Adam Chlipala
      • Re: [Coq-Club] strange recursive error, Rohit Persaud
• [Coq-Club] [Announce] BiCoax, a Coq implementation of (event-)B set-theoretic logic, Samuel Colin

Archive powered by MhonArc 2.6.16.