List archive

• [ssreflect] Ordinals in bigop, Pierre Jouvelot, 04/02/2020
  • Message not available
    • Re: [ssreflect] Ordinals in bigop, Pierre Jouvelot, 04/02/2020
      • Re: [ssreflect] Ordinals in bigop, Yves Bertot, 04/02/2020
      • Re: [ssreflect] Ordinals in bigop, Pierre Jouvelot, 04/02/2020
      • [ssreflect] "tindex"?, Pierre Jouvelot, 04/03/2020
• [ssreflect] Converging towards a release of math-comp 1.11.0, Yves Bertot, 04/09/2020
• [ssreflect] MathComp 1.11.0+beta1 released, Yves Bertot, 04/16/2020
  • Re: [ssreflect] [Coq-Club] MathComp 1.11.0+beta1 released, Yves Bertot, 04/17/2020
• [ssreflect] LFMTP 2020 CFP (UPDATES due to Coronavirus), Claudio Sacerdoti Coen, 04/16/2020
• [ssreflect] Certified Programs and Proofs (CPP) 2021: First Call for Papers, Andrei Popescu, 04/16/2020

Archive powered by MHonArc 2.6.18.