Meta

March 8, 2021 少于 1 分钟读完

持续更新。有事没事就去看看吧！
Creation Date: Sep, 2020

Meta Study

猜您还喜欢

March 1, 2023 4 分钟读完

Constant-time的验证方法们。

October 9, 2022 1 分钟读完

Academic Conferences

June 10, 2022 少于 1 分钟读完

最近在学习一些关于SMT/SAT solver的东西，在这里简单总结一下。

March 6, 2022 少于 1 分钟读完

在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。