∞-type Café 暑期学校 2023 - Trebor, 范畴论入门 (第一节)
Trebor, 范畴语义基础 (第一部分), ∞-type Café 暑期学校 2023
∞-type Café 暑期学校 2023 - 无懈可击99, 同伦类型论(HoTT)入门(第三节)
千里冰封, 立方类型论(Cubical)入门 (第一节), ∞-type Café 暑期学校 2023
Trebor, 范畴语义基础 (第二部分), ∞-type Café 暑期学校 2023
∞-type Café 暑期学校 2023 - 军哥, Coq和Lean入门介绍 (第一节)
∞-type Café 暑期学校 2023 - 无懈可击99, 同伦类型论(HoTT)入门(第一节)
∞-type Café 暑期学校 2023 - 无懈可击99, 同伦类型论(HoTT)入门(第二节)
千里冰封, 立方类型论(Cubical)入门 (第二节), ∞-type Café 暑期学校 2023
∞-type Café 暑期学校 2023 - 无懈可击99, 同伦类型论(HoTT)入门(习题课)
千里冰封, 立方类型论(Cubical)入门 (第三节), ∞-type Café 暑期学校 2023
∞-type Café 暑期学校 2023 - Alias Qli, λ 演算和简单类型入门 (第三讲)
∞-type Café 暑期学校 2023 - Alias Qli, λ 演算和简单类型入门 (第一讲)
∞-type Café 暑期学校 2023 - oCaU, Agda使用入门 (第二节后的习题介绍和提问)
∞-type Café 暑期学校 2023 - oCaU, Agda使用入门 (第三节)
∞-type Café 暑期学校 2023 - kang, 一点儿综合同伦论 (第三节)
∞-type Café 暑期学校 2023 - oCaU, Agda使用入门 (第一节)
∞-type Café 暑期学校 2023 - oCaU, Agda使用入门 (第一节后的习题介绍和提问)
∞-type Café 暑期学校 2023 - 无懈可击99, 同伦类型论(HoTT)入门(第四节)
∞-type Café 暑期学校 2023 - 面皮, 依值类型入门 (第二讲)