From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Tue, 7 Nov 2017 13:40:01 -0800 (PST)
From: "Daniel R. Grayson" <danielrich...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Message-Id: <28b492f0-3d0f-4744-9a67-99bf24eae91c@googlegroups.com>
Subject: Voevodsky obituary in Nature
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_82_1505014275.1510090801275"

------=_Part_82_1505014275.1510090801275
Content-Type: multipart/alternative; 
	boundary="----=_Part_83_257864070.1510090801275"

------=_Part_83_257864070.1510090801275
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

See https://www.nature.com/articles/d41586-017-05477-9

------=_Part_83_257864070.1510090801275
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 7bit

<div dir="ltr">See https://www.nature.com/articles/d41586-017-05477-9<br></div>
------=_Part_83_257864070.1510090801275--

------=_Part_82_1505014275.1510090801275--