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
contractswif 2022-01-23 19:15:50 +08:00
赞一下,很棒
|