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:31:13 +0100
Authentication-results: mail3-smtp-sop.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-f169.google.com
Ironport-phdr: 9a23:Rlh6HRZ26E99WPb12bL442T/LSx+4OfEezUN459isYplN5qZpcq9bnLW6fgltlLVR4KTs6sC0LqJ9fy5EjZdqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7/0p8SYOVgArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Ku4zSqUdBzA7OUg04tfqvF/NV0HHsnAbSyAdlgdCKwnD9hDzGJnr5HjUrO14jQCcMcDsVvgQRDKu9LtmRAOg3C4BOzMj60nejMB9lrlfvRStvAByz5KSe4zDZ6k2Rb/UYd5PHTkJZc1WTSEUWo4=

Thanks! Somehow I missed that link.

[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