#笔记
光滑流形上的微分与微分形式
关于 ∂/∂x, df, dx, d, df/dx 等记号本质上/在一般的流形上是什么（并没有到层论视角）。
Agda 学习（一）：完成简单证明的一切
类型论的实践：函数式程序推理与演算。Agda 中的证明、归纳、列表、Internal Verification 和等式理论。
几何学Ⅰ期中复习笔记
需要特别记忆的定义和结论 & 考后总结。
高等代数Ⅰ期中复习笔记
可能有用的小结论及往年题选做 & 考后总结。
复分析（二）：间章：Laurent 级数、留数与调和函数
关于 Laurent 级数、留数与调和函数。