Voevodsky gathering will be streamed, live
1 view
Skip to first unread message
Daniel R. Grayson
Oct 6, 2017, 11:51:28 PM10/6/17
to Homotopy Type Theory
Daniel R. Grayson
Oct 11, 2017, 9:00:11 AM10/11/17
to Homotopy Type Theory
The video recording of the gathering has been posted at https://www.youtube.com/watch?v=vDzD7LYrrTU
Reply all
Reply to author
Forward
0 new messages