List archive

• [Coq-Club] finite sets library, Jean-Christophe Filliatre
• [Coq-Club] Soutenance de thèse (rappel), SB
• [Coq-Club] Constraint&Logic Programming in Security: Call for Papers., Frank D. Valencia
• [Coq-Club] 3 positions for junior researchers/ postdocs in Computer Mathematics in Nijmegen, Herman Geuvers
• [Coq-Club] corecursion on impredicative coinductive definitions, Milad Niqui
  • Re: [Coq-Club] corecursion on impredicative coinductive definitions, Pierre Courtieu
  • Re: [Coq-Club] corecursion on impredicative coinductive definitions, Eduardo Gimenez
• [Coq-Club] Interested in writing a tool, Sébastien Hinderer
• [Coq-Club] Tableaux 2003 TCS elections, Tableaux 2003
• [Coq-Club] call for participation, info
• [Coq-Club] TPHOLs: Call for Participation", Burkhart Wolff
• [Coq-Club] IJCAR 2004 - Call for Workshop Proposals, Peter Baumgartner
• [Coq-Club] Pb with Cases and False, Jean-Yves Vion-Dury
  • Re: [Coq-Club] Pb with Cases and False, Nadeem Abdul Hamid
    • Re: [Coq-Club] Pb with Cases and False, Claude Marche
• [Coq-Club] Tactic definition for handling equality, GANGCHEN5
  • <Possible follow-ups>
  • [Coq-Club] Tactic definition for handling equality, GANGCHEN5
  • Re: [Coq-Club] Tactic definition for handling equality, Pierre Courtieu
  • Re: [Coq-Club] Tactic definition for handling equality, GANGCHEN5
• [Coq-Club] Type equality, Lukasz Stafiniak
  • Re: [Coq-Club] Type equality, Eduardo Gimenez
  • Re: [Coq-Club] Type equality, Pierre Letouzey
    • Re: [Coq-Club] Type equality, jeanfrancois . monin
      • Re: [Coq-Club] Type equality, Pierre Courtieu
  • Re: [Coq-Club] Type equality, jeanfrancois . monin
  • Re: [Coq-Club] Type equality, Pierre Letouzey
    • Re: [Coq-Club] Type equality, Hugo Herbelin
• [Coq-Club] call for papers: ijcar 2004 -- please post, Maria Paola Bonacina

Archive powered by MhonArc 2.6.16.