List archive

• Re: [Coq-Club] forall n m (H1 H2:le n m), H1=H2., (continued)
  • Re: [Coq-Club] forall n m (H1 H2:le n m), H1=H2., Hugo Herbelin
• [Coq-Club] Applications in functor parameters, Nicolas BERTAUX
  • Re: [Coq-Club] Applications in functor parameters, Hugo Herbelin
  • <Possible follow-ups>
  • [Coq-Club] Applications in functor parameters, Nicolas BERTAUX
• [Coq-Club] can't work with eq, Thomas Nelson
  • Re: [Coq-Club] can't work with eq, Pierre Casteran
    • Re: [Coq-Club] can't work with eq, Serge Leblanc
      • Re: [Coq-Club] can't work with eq, Andrew McCreight
      • Re: [Coq-Club] can't work with eq, Yves Bertot
      • Re: [Coq-Club] can't work with eq, Andrew McCreight
  • Re: [Coq-Club] can't work with eq, Stefan Monnier
• [Coq-Club] trouble with proving min, Thomas Nelson
  • Re: [Coq-Club] trouble with proving min, Wan Hai
• [Coq-Club] extending iota or beta reduction, roconnor
• [Coq-Club] Explanation of "apply term in ident"?, Robin Green
• [Coq-Club] CFP: Special Journal Issue on Unification, Mircea Marin
• [Coq-Club] name of term in tactics, Julien Tesson
  • Re: [Coq-Club] name of term in tactics, Stéphane Lescuyer
• [Coq-Club] Le Guide des salons en France et à l'étranger enfin disponible, Editions Expo News
• [Coq-Club] coqide on Darwin, Edsko de Vries
  • Re: [Coq-Club] coqide on Darwin, Elie Soubiran
    • Re: [Coq-Club] coqide on Darwin, Edsko de Vries
• [Coq-Club] Syntax for morphisms in Coq 8.2?, Edsko de Vries
• [Coq-Club] Uninstalling coq DMG, Edsko de Vries

Archive powered by MhonArc 2.6.16.