[3/3] 我回国以后最大的欣慰就是 GitHub 虽然时断时续但还是有能用的时候的，因此我的定理证明工作未受影响，趁着网站能连上的时候 pull request 照发不误。别人写不出来的形式化代码我能写出来，眼下这就够了。其他都是次要的。
发布于 辽宁
田春冰河