Univalence Labs
>
HoTT notes
订阅
My notes on learning Homotopy Type Theory (HoTT).
订阅后,当此列表有新内容时,我们会给你发送邮件通知。
订阅流程:
在这里提交你的电子邮件地址
查收验证邮件
等待列表 Owner 确认
订阅成功