订阅

My notes on learning Homotopy Type Theory (HoTT).

订阅后,当此列表有新内容时,我们会给你发送邮件通知。

订阅流程:

  1. 在这里提交你的电子邮件地址
  2. 查收验证邮件
  3. 等待列表 Owner 确认
  4. 订阅成功