Warning: Undefined global variable $debug in /var/www/ourcoders/tiny4cocoa/application/controllers/baseController.php on line 124
田春冰河 2020-02-01 00:00:00 发布的技术动态 - OurCoders (我们程序员)
OurCoders
  • 首页
  • 话题
  • 搜索
  • /var/www/ourcoders/tiny4cocoa/templates_c/32ccb5ef476b6269d182d4601ed2ed1ef16375bd_0.file.index.html.php on line 116

    Warning: Attempt to read property "value" on null in /var/www/ourcoders/tiny4cocoa/templates_c/32ccb5ef476b6269d182d4601ed2ed1ef16375bd_0.file.index.html.php on line 116
    ">
田春冰河
2020-02-01 00:00:00 发布
[2/3] 我从圣诞节期间就开始日夜奋战形式化数学定理，到今天终于完成了 HOL 测度和概率论的第二阶段工作，包括之前所有困扰我的问题都解决了，又给官方提交了一个 5000 多行代码的巨大 PR，接下来几天可以总结成果写篇论文了。目前我在所有贡献者里按新增代码行数排名第七。网页链接
原文链接