List archive

• [ssreflect] unpickle in countTypes, Florian Steinberg, 03/07/2018
  • Re: [ssreflect] unpickle in countTypes, Cyril, 03/07/2018
• [ssreflect] Reminder: From the Fundamental Lemma to Discrete Geometry, to Formal Verification, Jeremy Avigad, 03/08/2018
• [ssreflect] Federated Logic Conference student travel support, Jeremy Avigad, 03/15/2018
• [ssreflect] Fwd: [FOM] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE, Yves Bertot, 03/22/2018
  • Re: [ssreflect] Fwd: [FOM] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE, Xavier Allamigeon, 03/22/2018
• [ssreflect] New book about ssreflect, Laurent Thery, 03/27/2018
  • Re: [ssreflect] New book about ssreflect, Pierre-Yves Strub, 03/27/2018

Archive powered by MHonArc 2.6.18.