Yay Andrej!

117 views

Skip to first unread message

unread,

Mar 16, 2022, 5:55:44 PM3/16/22

to CMUHoTT, Homotopy Type Theory

bauerPrize.pdf

unread,

Mar 17, 2022, 12:14:09 PM3/17/22

to Homotopy Type Theory

Congratulations, Andrej!

Reply all

Reply to author

Forward

0 new messages