List archive

• [ssreflect] Online Documentation for ssrbool and ssrfun?, Christian Doczkal, 09/04/2018
  • Re: [ssreflect] Online Documentation for ssrbool and ssrfun?, Anton Trunov, 09/04/2018
    • Re: [ssreflect] Online Documentation for ssrbool and ssrfun?, Christian Doczkal, 09/04/2018
  • Re: [ssreflect] Online Documentation for ssrbool and ssrfun?, Enrico Tassi, 09/04/2018
• [ssreflect] Lacking results on findex, order, and connect (module fingraph), Yves Bertot, 09/07/2018
  • Re: [ssreflect] Lacking results on findex, order, and connect (module fingraph), Yves Bertot, 09/07/2018
    • Re: [ssreflect] Lacking results on findex, order, and connect (module fingraph), Yves Bertot, 09/11/2018
• [ssreflect] Printing of bigcup, Florent Hivert, 09/15/2018
  • Re: [ssreflect] Printing of bigcup, Florent Hivert, 09/15/2018
• [ssreflect] CoqPL 2019: Call for Presentations, Robbert Krebbers, 09/17/2018
• [ssreflect] User-defined notation: bad pretty-printing, Xavier Allamigeon, 09/19/2018
  • Re: [ssreflect] User-defined notation: bad pretty-printing, Pierre-Yves Strub, 09/19/2018
    • Re: [ssreflect] User-defined notation: bad pretty-printing, Xavier Allamigeon, 09/19/2018
      • Re: [ssreflect] User-defined notation: bad pretty-printing, Pierre-Yves Strub, 09/19/2018

Archive powered by MHonArc 2.6.18.