Homotopy Type Theory Electronic Seminar Talks

The seminar now has a new website.