田春冰河
2019-09-03 00:00:00 发布
[1/3] 昨天提交给 HOL 的 PR 已经被快速合并了，我在所有代码贡献者里按新增代码行数仍然排名第7，但已经以7000多行的优势把前不久刚刚超越的第8名 Ramana Kumar 甩在后面了。下一个目标是排名第6的 Joe Hurd——概率论形式化的先驱；再往前是 Mike Gordon，已故 HOL 创始人——他已经不可能再写了。