List archive

• [ssreflect] Announcement: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France, Frédéric Blanqui, 02/01/2019
• [ssreflect] Stable Sorts and Permutations Help, Jake, 02/06/2019
  • Re: [ssreflect] Stable Sorts and Permutations Help, Kazuhiko Sakaguchi, 02/06/2019
• [ssreflect] Docker images of coq-mathcomp-character, Erik Martin-Dorel, 02/07/2019
  • Re: [ssreflect] Docker images of coq-mathcomp-character, Emilio Jesús Gallego Arias, 02/08/2019
    • Re: [ssreflect] [mathcomp-dev] Docker images of coq-mathcomp-character, Emilio Jesús Gallego Arias, 02/08/2019
    • Re: [ssreflect] Docker images of coq-mathcomp-character, Erik Martin-Dorel, 02/08/2019
      • Re: [ssreflect] Docker images of coq-mathcomp-character, Emilio Jesús Gallego Arias, 02/09/2019
      • Re: [ssreflect] Docker images of coq-mathcomp-character, Erik Martin-Dorel, 02/09/2019
• [ssreflect] Finfun and positivity requirements, Joshua Gancher, 02/15/2019
  • Re: [ssreflect] Finfun and positivity requirements, Assia Mahboubi, 02/21/2019
    • Re: [ssreflect] Finfun and positivity requirements, georges gonthier, 02/27/2019
      • Re: [ssreflect] Finfun and positivity requirements, Joshua Gancher, 02/27/2019
      • Re: [ssreflect] Finfun and positivity requirements, Erik Martin-Dorel, 02/27/2019
• Re: [ssreflect] Farkas' lemma in MathComp, Kazuhiko Sakaguchi, 02/22/2019
  • Re: [ssreflect] Farkas' lemma in MathComp, Xavier Allamigeon, 02/28/2019

Archive powered by MHonArc 2.6.18.