Is there a version that doesn't require an IAS login?

On Wed, Oct 4, 2017, 10:20 AM Daniel R. Grayson <
danielrich...@gmail.com> wrote:

> https://www.ias.edu/news/2017/vladimir-voevodsky-obituary
>
> --
> You received this message because you are subscribed to the Google Groups
> "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to HomotopyTypeThe...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>