coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Anders Lundstedt <anders AT anderslundstedt.se>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog
Date: Mon, 15 Feb 2016 12:27:00 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anders AT anderslundstedt.se; spf=Pass smtp.mailfrom=anders AT anderslundstedt.se; spf=None smtp.helo=postmaster AT mail-io0-f172.google.com
Ironport-phdr: 9a23:bYs2gx/a5N5NNP9uRHKM819IXTAuvvDOBiVQ1KB91e0cTK2v8tzYMVDF4r011RmSDdqdt6sP0beempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRciO1o/tiqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0vcVHSODxe7kyZb1eFjUvdW4vroW/vh7aCACL+3E0U2MMkxMODRKTvz/gWZKkmy32u/BmkA2HO8HtUb04RXz25qFnRQXzoC4BOzMj62XKjMBrkK9XvFS6qkoskMbvfIiJOa8mLevmdtQASD8ZUw==

Does the blog have any feed one can subscribe to?

[Coq-Club] CoqHoTT-minute, the CoqHoTT blog, Pierre-Marie Pédrot, 02/14/2016
- Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog, Anders Lundstedt, 02/15/2016
  - Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog, Pierre-Marie Pédrot, 02/15/2016
    - Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog, Anders Lundstedt, 02/15/2016