关于作者 九十年代生人, 准马克思主义者, 科研民工. 从事 形式化验证 研究工作, 在学 C++ 与 Coq, 讨厌 Leetcoding. 热爱听音乐, 看电影, 打游戏. 通过评论或者 issue 方式与作者联系. 关于博文 内容包括但不限于: 学术 | 技术 | 读书笔记 | 生活札记 | 日思夜想
