List archive

• [Coq-Club] How to match a hypo?, xiang sen
  • Re: [Coq-Club] How to match a hypo?, Pierre Casteran
• [Coq-Club] How to determine the parameters order in "apply" tactic, xiang sen
  • Re: [Coq-Club] How to determine the parameters order in "apply" tactic, Pierre Casteran
    • Re: [Coq-Club] How to determine the parameters order in "apply" tactic, xiang sen
      • Re: [Coq-Club] How to determine the parameters order in "apply" tactic, anoun
      • Re: [Coq-Club] How to determine the parameters order in "apply" tactic, xiang sen
  • <Possible follow-ups>
  • Re: [Coq-Club] How to determine the parameters order in "apply" tactic, Yves Bertot
• [Coq-Club] The same id. name has difference types!, xiang sen
  • Re: [Coq-Club] The same id. name has difference types!, Pierre Casteran
• [Coq-Club] LPAR-12 Deadline Reminder, geoff
• [Coq-Club] Post.Doc and Assist. Prof. position Radboud University Nijmegen, Herman Geuvers
• [Coq-Club] Contribution Fermat4, David Delahaye
• [Coq-Club] loading paths in coqide, anoun
  • Re: [Coq-Club] loading paths in coqide, Guillaume Melquiond
    • Re: [Coq-Club] loading paths in coqide, Pierre Courtieu
• [Coq-Club] CfP: Workshop: Constructive analysis, types and exact real numbers, Bas Spitters
• [Coq-Club] ISAAC: Young Researcher Position at ITC-IRST, Trento, Marco Bozzano
• [Coq-Club] Principle of definition, Pierre Casteran
  • Re: [Coq-Club] Principle of definition, Pierre Casteran
    • Re: [Coq-Club] Principle of definition, Hugo Herbelin
• [Coq-Club] rpm coq v8 & ML modules, anoun
  • [Coq-Club] Slow Typing, Thery Laurent
    • Re: [Coq-Club] Slow Typing, Hugo Herbelin
• [Coq-Club] Call for Papers: JAR Special Issue on User Interfaces for Theorem Proving., Christoph Lueth
• [Coq-Club] post-doctoral position in Nancy, Stephan Merz
• [Coq-Club] TPHOLs 2005 Call for Participation, Joe Hurd
• [Coq-Club] (no subject), Pierre Casteran
• [Coq-Club] ICLP 2005: Call for Participation, ICLP 2005
• [Coq-Club] JFLA2006, Therese Hardin

Archive powered by MhonArc 2.6.16.