啊…… 就是感觉，这几年折腾了挺多东西，各种各样、乱七八糟的…… 没记下来，很多都消失在记忆长河里的。

hagb.name的域名也租了几年，也就是租着，什么新的都没写。现在，看看能不能写起博客，养成写博客的习惯。

最近准备折腾 coq（2020-08-17 更新：已经转投 lean 了）的定理机器验证。