List archive

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

Archive powered by MHonArc 2.6.18.