List archive

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

Archive powered by MHonArc 2.6.18.