List archive

• Re: [Coq-Club] Sets in Coq, (continued)
  • Re: [Coq-Club] Sets in Coq, Adam Chlipala
  • Re: [Coq-Club] Sets in Coq, Vladimir Voevodsky
  • Re: [Coq-Club] Sets in Coq, Carlos . SIMPSON
• [Coq-Club] International Workshop: DATICS-FutureTech'10 (EI Indexed), SS DATICS
• [Coq-Club] VMCAI 2010 - Call for Participation - Early Reg: Dec 22, vmcai10-announce
• [Coq-Club] LPAR-16 - Dakar, Senegal - April 2010, Geoff Sutcliffe
• [Coq-Club] information, Andrea Poles
  • Re: [Coq-Club] information, Benjamin Werner
• [Coq-Club] variable not found in the current environment, Keiko Nakata
  • Re: [Coq-Club] variable not found in the current environment, AUGER
• [Coq-Club] bug in autorewrite?, Christian Doczkal
  • Re: [Coq-Club] bug in autorewrite?, Andrew McCreight
• [Coq-Club] Warning: Coq-club mailing list moving to a new server, hugo . herbelin
• [Coq-Club] coq information, Andrea Poles
  • Re: [Coq-Club] coq information, AUGER C�dric
  • Re: [Coq-Club] coq information, AUGER C�dric
• [Coq-Club] An invitation: implementing a variant of situation calculus, Qiang Liu
• [Coq-Club] Final Call for Participation: TLDI'10, Andrew Kennedy
  • [Coq-Club] A Question, Babak Moazzez
    • Re: [Coq-Club] A Question, CHA Reeseo
    • Re: [Coq-Club] A Question, Pierre Casteran
      • Re: [Coq-Club] A Question, AUGER C�dric
      • Re: [Coq-Club] A Question, Vincent Siles
• [Coq-Club] JFLA 2010: appel � participation, Micaela Mayero
  • [Coq-Club] a "classical versus intuitionistic" question, Vladimir Voevodsky
    • Re: [Coq-Club] a "classical versus intuitionistic" question, Недзельский Михаил
• [Coq-Club] PhD student in the FormMath project, Bas Spitters
• [Coq-Club] ITP 2010 - Third Call for Papers, Georges Gonthier
• [Coq-Club] Error: Not the right number of missing arguments, Jeff Terrell
  • Re: [Coq-Club] Error: Not the right number of missing arguments, Adam Chlipala

Archive powered by MhonArc 2.6.16.