List archive

• [ssreflect] Fintype for the subsequences of a sequence, Assia Mahboubi, 09/22/2015
  • Re: [ssreflect] Fintype for the subsequences of a sequence, Florent Hivert, 09/22/2015
    • RE: [ssreflect] Fintype for the subsequences of a sequence, Georges Gonthier, 09/28/2015
      • Re: [ssreflect] Fintype for the subsequences of a sequence, Florent Hivert, 09/29/2015
• [ssreflect] Certified Programs and Proofs (CPP 2016), Jeremy Avigad, 09/22/2015
• [ssreflect] Tensor product, Emilio Jesús Gallego Arias, 09/28/2015
  • RE: [ssreflect] Tensor product, Georges Gonthier, 09/29/2015
    • Re: [ssreflect] Tensor product, Emilio Jesús Gallego Arias, 09/29/2015
• [ssreflect] Basis for vector space not stored as vectors, Florent Hivert, 09/29/2015

Archive powered by MHonArc 2.6.18.