List archive

• 17/11/07
  • [ssreflect] MathComp 1.6.4 released, Cyril
• 17/11/08
  • Re: [ssreflect] MathComp 1.6.4 released, Pierre-Yves Strub
  • Re: [ssreflect] MathComp 1.6.4 released, Pierre-Yves Strub
• 17/11/15
  • [ssreflect] Proposal for addition in fingraph.v, Yves Bertot
• 17/11/19
  • [ssreflect] Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh, Jeremy Avigad
• 17/11/21
  • [ssreflect] PhD Program in Pure and Applied Logic at Carnegie Mellon, Jeremy Avigad
• 17/11/22
  • [ssreflect] Theory of Finite sets on infinite (Countable Domain), Abhishek Kr Singh
  • Re: [ssreflect] Theory of Finite sets on infinite (Countable Domain), Pierre-Yves Strub
  • Re: [ssreflect] Theory of Finite sets on infinite (Countable Domain), Christian Doczkal
  • Re: [ssreflect] Theory of Finite sets on infinite (Countable Domain), Abhishek Kr Singh
• 17/11/23
  • [ssreflect] Publications, Laurent Thery
• 17/11/27
  • [ssreflect] Bigops without identity?, Christian Doczkal
• 17/11/28
  • Re: [ssreflect] Bigops without identity?, Christian Doczkal

Archive powered by MHonArc 2.6.18.