List archive

• 05/12/01
  • [Coq-Club] name of bound variables, Loïc Pottier
• 05/12/05
  • [Coq-Club] Soutenance de thèse de Frédéric Gava, Frédéric Gava
• 05/12/06
  • [Coq-Club] CMCS 2006, Neil X Ghani
• 05/12/07
  • [Coq-Club] Exploiting variable binding of Coq for encoding lambda-calculus, Fabrice Lemercier
  • Re: [Coq-Club] Exploiting variable binding of Coq for encoding lambda-calculus, Marino Miculan
  • [Coq-Club] 2nd Call: ESSLLI 2006 Student Session, Carlos Areces
• 05/12/08
  • [Coq-Club] SEM - "Geometric Resolution" - 14/12/05 - Cachan - France, Steve Kremer
• 05/12/13
  • [Coq-Club] ETAPS 2007 - Call for Satellite Events, joost . visser
• 05/12/15
  • [Coq-Club] Postdoc position at Nijmegen (ROBIN project on OS verification), Erik Poll
  • [Coq-Club] MKM 2006 First Call for Papers and Workshop Proposals, William Farmer
• 05/12/16
  • [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Lionel Elie Mamane
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Bruno Barras
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Thery Laurent
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Lionel Elie Mamane
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Bruno Barras
  • Re: [Coq-Club] Making a List into a Tree with Structural Recursion, kahl
• 05/12/17
  • [Coq-Club] Difficulties explaining to Coq how to refine a dependent elimination, Stefan Monnier
• 05/12/18
  • [Coq-Club]AMAST06 CFP (Feb closing date), Michael Johnson
• 05/12/19
  • [Coq-Club] Can't get Coq to do the refinement I want in dependent elimination, Stefan Monnier
  • Re: [Coq-Club] Can't get Coq to do the refinement I want in dependent elimination, Pierre Casteran
• 05/12/20
  • [Coq-Club] [Tableaux2005] Special Issue of the Journal of Automated Reasoning, 2nd Call for papers, Gernot Stenz
  • [Coq-Club] JFLA06 : Appel à partipation, Therese Hardin
  • [Coq-Club] Unrecognized utf-8, Stefan Monnier
• 05/12/21
  • [Coq-Club] JFLA06 : call for participation, Pierre Casteran

Archive powered by MhonArc 2.6.16.