田春冰河
2019-10-28 00:00:00 发布
[1/3] 几经周折，终于把 Henstock–Kurzweil 积分合并到 HOL4 里了，22614 行新代码。我现在在 HOL 贡献者里按新增代码行数排名，很快就要排到第 6 了，按提交数排名由于其他 PR 的缘故也进步喜人。