List archive

• [ssreflect] Coqchk output, Felipe Cerqueira, 05/04/2016
  • Re: [ssreflect] Coqchk output, Enrico Tassi, 05/04/2016
    • Re: [ssreflect] Coqchk output, Felipe Cerqueira, 05/04/2016
      • Re: [ssreflect] Coqchk output, Felipe Cerqueira, 05/05/2016
• [ssreflect] Canonical Structure not so canonical, Florent Hivert, 05/08/2016
  • RE: [ssreflect] Canonical Structure not so canonical, Georges Gonthier, 05/09/2016
    • Re: [ssreflect] Canonical Structure not so canonical, Enrico Tassi, 05/09/2016
    • Re: [ssreflect] Canonical Structure not so canonical, Florent Hivert, 05/09/2016
      • RE: [ssreflect] Canonical Structure not so canonical, Georges Gonthier, 05/09/2016
      • Re: [ssreflect] Canonical Structure not so canonical, Florent Hivert, 05/09/2016
      • RE: [ssreflect] Canonical Structure not so canonical, Georges Gonthier, 05/10/2016
• [ssreflect] The 8th Coq Workshop - 2nd CFP - deadline for submission: june 1st 2016, Nicolas Magaud, 05/12/2016
• [ssreflect] math-comp examples, import warning, Vadim Zaliva, 05/19/2016
  • RE: [ssreflect] math-comp examples, import warning, Georges Gonthier, 05/19/2016
    • Re: [ssreflect] math-comp examples, import warning, Enrico Tassi, 05/19/2016

Archive powered by MHonArc 2.6.18.