#笔记
【Agda 语言】形式化证明所需的主要设施
类型论的实践：函数式程序推理与演算。Agda 中的证明、归纳、列表、Internal Verification 和等式理论。
几何学Ⅰ期中复习笔记
本文用于准备几何学I（实验班）2025秋的期中考试。包含需要特别记忆的定义和结论 & 考后总结。
几何是一个关联很多数学分支的分支，因此本文中可能涉及不那么几何的结论。…
高等代数Ⅰ期中复习笔记
本文用于准备高等代数实验班 2025 - 2026(I) 的期中考试。包含可能有用的小结论记录及往年题选做 & 考后总结。…
【复分析】间章：Laurent 级数、留数与调和函数
关于 Laurent 级数、留数与调和函数。
《初识经典力学》笔记：哈密顿量
一般形式的哈密顿量和常见定律的导出。