田春冰河
2019-09-20 00:00:00 发布
[1/3] 我自从去年7月份以来耗费无数心血的 HOL 概率论形式化工作，终于提交了首批代码。新增2万6千多行，删除1万7千多行，改动了 101 个文件，连 PR 的描述长度可能都是本项目前所未有。结果没过几个小时就被合并了，这是多大的鼓励和信任！我现在按删除代码行数已经前进了一个名次，排名第6了