Web Developer The Ultimate Math Developer!
xieyuheng xieyuheng 2022-01-19 02:27:47 +08:00 1597 次点击这是一个创建于 1428 天前的主题，其中的信息可能已经有所发展或是发生改变。
 | 1 uni 2022-01-19 13:53:05 +08:00 不如去给 lean 做做贡献？ |
 | 2 xieyuheng OP |
| 3 uni 2022-01-19 18:54:06 +08:00 @xieyuheng 加油，做这个不容易 现在 lean 在数学界已经开始得到越来越多的关注（尤其得到 Peter Scholze 的关注后吸引了很多数学家的目光），我相信计算机辅助证明进入主流数学界进入一定只是时间问题，然而在这之前仍然有很多路要走，理论上和工程上 加油 |
 | 5 dinosjk 2022-01-23 19:15:50 +08:00 赞一下，很棒 |
Select Language