List archive

• [ssreflect] MathComp 1.6.4 released, Cyril, 11/07/2017
  • Re: [ssreflect] MathComp 1.6.4 released, Pierre-Yves Strub, 11/08/2017
    • Re: [ssreflect] MathComp 1.6.4 released, Pierre-Yves Strub, 11/08/2017
• [ssreflect] Proposal for addition in fingraph.v, Yves Bertot, 11/15/2017
• [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, 11/19/2017
• [ssreflect] PhD Program in Pure and Applied Logic at Carnegie Mellon, Jeremy Avigad, 11/21/2017
• [ssreflect] Theory of Finite sets on infinite (Countable Domain), Abhishek Kr Singh, 11/22/2017
  • Re: [ssreflect] Theory of Finite sets on infinite (Countable Domain), Pierre-Yves Strub, 11/22/2017
  • Re: [ssreflect] Theory of Finite sets on infinite (Countable Domain), Christian Doczkal, 11/22/2017
    • Re: [ssreflect] Theory of Finite sets on infinite (Countable Domain), Abhishek Kr Singh, 11/22/2017
  • [ssreflect] Publications, Laurent Thery, 11/23/2017
• [ssreflect] Bigops without identity?, Christian Doczkal, 11/27/2017
  • Re: [ssreflect] Bigops without identity?, Christian Doczkal, 11/28/2017

Archive powered by MHonArc 2.6.18.