Quick Notes

约 100 个字

这里是一些快速记下的东西。可能有课程笔记，也可能有读书笔记，一般都是没有夹带什么私货的，夹带私货的东西都在前面几个模块里了！

读书笔记

• Theorem Proving in Lean 4
• Modal Homotopy Type Theory, David Corfield
• Introduction to Higher Order Categorical Logic. J Lambek, P. J. Scott

课程笔记

• 计算机视觉导论
• 操作系统

评论