List archive

• 15/11/10
  • [ssreflect] Bigop and functional composition., Florent Hivert
  • Re: [ssreflect] Bigop and functional composition., Florent Hivert
• 15/11/11
  • Re: [ssreflect] Bigop and functional composition., Emilio Jesús Gallego Arias
  • Re: [ssreflect] Bigop and functional composition., Emilio Jesús Gallego Arias
  • Re: [ssreflect] Bigop and functional composition., Assia Mahboubi
  • Re: [ssreflect] Bigop and functional composition., Florent Hivert
  • Re: [ssreflect] Bigop and functional composition., Florent Hivert
• 15/11/13
  • [ssreflect] big_morph_in, Cyril Cohen
• 15/11/20
  • [ssreflect] Direct sum of delta_mx, Cyril
  • Re: [ssreflect] Direct sum of delta_mx, Cyril
  • [ssreflect] ANN: linearscan, linearscan-hoopl 1.0.0, John Wiegley
  • Re: [ssreflect] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0, John Wiegley
• 15/11/23
  • Re: [ssreflect] big_morph_in, Emilio Jesús Gallego Arias
• 15/11/24
  • Re: [ssreflect] big_morph_in, Cyril
  • [ssreflect] rewriting backwards with lemmas of the form (a = b && c), Cyril
  • RE: [ssreflect] Direct sum of delta_mx, Georges Gonthier

Archive powered by MHonArc 2.6.18.