List archive

• [Coq-Club] ICSOB 2014: Industry Day - Final Call for Papers (Extended Deadline), Announce Announcements, 02/15/2014
• [Coq-Club] LATA 2014: call for participation, GRLMC, 02/15/2014
• [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Ömer Sinan Ağacan, 02/15/2014
  • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, AUGER Cédric, 02/15/2014
    • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Ömer Sinan Ağacan, 02/16/2014
      • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, AUGER Cédric, 02/16/2014
  • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Vilhelm Sjöberg, 02/15/2014
    • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Abhishek Anand, 02/16/2014
      • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Robbert Krebbers, 02/16/2014
    • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Ömer Sinan Ağacan, 02/16/2014
  • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Mitchell Wand, 02/16/2014
    • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Ömer Sinan Ağacan, 02/16/2014
      • Re: [Coq-Club] Applying a constructor/function to both sides of an equation -- is this possible?, Jason Gross, 02/16/2014
• [Coq-Club] Build of coq fails, /usr/lib/ocaml/camlp5/gramlib.a: No such file or directory, Dan Krejsa, 02/15/2014
  • Re: [Coq-Club] Build of coq fails, /usr/lib/ocaml/camlp5/gramlib.a: No such file or directory, Dan Krejsa, 02/16/2014
• [Coq-Club] "Error: refine: proof term contains metas in a product.", Anders Lundstedt, 02/16/2014
  • Re: [Coq-Club] "Error: refine: proof term contains metas in a product.", Arnaud Spiwack, 02/16/2014
    • Re: [Coq-Club] "Error: refine: proof term contains metas in a product.", Anders Lundstedt, 02/16/2014
      • Re: [Coq-Club] "Error: refine: proof term contains metas in a product.", Jason Gross, 02/16/2014
      • Re: [Coq-Club] "Error: refine: proof term contains metas in a product.", Anders Lundstedt, 02/16/2014
      • Re: [Coq-Club] "Error: refine: proof term contains metas in a product.", Arnaud Spiwack, 02/16/2014
• [Coq-Club] 4th International Conference on Model & Data Engineering (MEDI 2014): Second Call for Papers, Announce Announcements, 02/16/2014
• [Coq-Club] Accessible explanation of Coq's unification algorithm?, Kevin Sullivan, 02/16/2014
  • Re: [Coq-Club] Accessible explanation of Coq's unification algorithm?, Ömer Sinan Ağacan, 02/16/2014
• [Coq-Club] Ackermann Award 2014, Reinhard Kahle, 02/17/2014
• [Coq-Club] 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014), Serge Autexier, 02/17/2014
• [Coq-Club] Basic problem with Loadpath, Thomas Geffroy, 02/18/2014
  • Re: [Coq-Club] Basic problem with Loadpath, Adam Chlipala, 02/18/2014
• [Coq-Club] Making an OrderedType(WithLeibniz), Ian Lynagh, 02/18/2014
• [Coq-Club] Maximally inserted implicit arguments, Frédéric Blanqui, 02/19/2014

Archive powered by MHonArc 2.6.18.