List archive

• [ssreflect] Contributing to the wiki, Florent Hivert, 03/02/2016
• [ssreflect] Universe inconsistency with coq 8.5, Florent Hivert, 03/14/2016
  • Re: [ssreflect] Universe inconsistency with coq 8.5, Florent Hivert, 03/14/2016
    • RE: [ssreflect] Universe inconsistency with coq 8.5, Georges Gonthier, 03/14/2016
  • RE: [ssreflect] Universe inconsistency with coq 8.5, Georges Gonthier, 03/14/2016
    • Re: [ssreflect] Universe inconsistency with coq 8.5, Florent Hivert, 03/14/2016
• [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert, 03/14/2016
  • Message not available
    • Re: [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert, 03/14/2016
      • Re: [ssreflect] ProofGeneral and ssreflect bullets, Emilio Jesús Gallego Arias, 03/14/2016
      • Re: [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert, 03/15/2016
      • Re: [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert, 03/15/2016
      • Re: [ssreflect] ProofGeneral and ssreflect bullets, Emilio Jesús Gallego Arias, 03/15/2016
      • Re: [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert, 03/15/2016
• [ssreflect] Induction on fintype/set?, Epiphanie, 03/26/2016
  • Re: [ssreflect] Induction on fintype/set?, Boris Djalal, 03/26/2016
    • Re: [ssreflect] Induction on fintype/set?, Boris Djalal, 03/26/2016
  • Re: [ssreflect] Induction on fintype/set?, Emilio Jesús Gallego Arias, 03/28/2016
    • Re: [ssreflect] Induction on fintype/set?, Emilio Jesús Gallego Arias, 03/28/2016
• [ssreflect] Singular Value Decomposition, Emilio Jesús Gallego Arias, 03/30/2016

Archive powered by MHonArc 2.6.18.