List archive

• Re: [ssreflect] Fermat's Last Theorem & Galois Theory (Was: [Coq-Club] trouble setting up environment to analyse Feit-Thompson proof.), Kevin Buzzard, 02/01/2018
  • Re: [ssreflect] Fermat's Last Theorem & Galois Theory (Was: [Coq-Club] trouble setting up environment to analyse Feit-Thompson proof.), roconnor, 02/03/2018
• [ssreflect] Solutions to Gonthier-Mahboudi paper?, Mitchell Wand, 02/10/2018
  • Re: [ssreflect] Solutions to Gonthier-Mahboudi paper?, Enrico Tassi, 02/12/2018
    • Re: [ssreflect] Solutions to Gonthier-Mahboudi paper?, Mitchell Wand, 02/12/2018
      • Re: [ssreflect] Solutions to Gonthier-Mahboudi paper?, Enrico Tassi, 02/12/2018
• [ssreflect] Coercing strings to seq ascii, Épiphanie Gédéon, 02/14/2018
  • Re: [ssreflect] Coercing strings to seq ascii, Laurent Thery, 02/16/2018
    • Re: [ssreflect] Coercing strings to seq ascii, Épiphanie Gédéon, 02/16/2018
      • Re: [ssreflect] Coercing strings to seq ascii, Jason Gross, 02/16/2018
      • Re: [ssreflect] Coercing strings to seq ascii, Épiphanie Gédéon, 02/16/2018
• [ssreflect] web archive for this mailing list?, Frédéric Blanqui, 02/15/2018
  • Re: [ssreflect] web archive for this mailing list?, Laurent Thery, 02/15/2018
    • Re: [ssreflect] web archive for this mailing list?, Frédéric Blanqui, 02/15/2018
• [ssreflect] Thoughts on using the tactic ring with the mathematical components, Yves Bertot, 02/26/2018

Archive powered by MHonArc 2.6.18.