Web Developer The Ultimate Math Developer!

• 请不要在回答技术问题时复制粘贴 AI 生成的内容

This topic created in 1567 days ago, the information mentioned may be changed or developed.

请求转发！

5 replies • 2022-01-23 19:15:50 +08:00

uni

Jan 19, 2022

不如去给 lean 做做贡献？

xieyuheng

Jan 19, 2022

@uni 在类型系统方面我有一些自己的 idea ，设计自己的语言可以有更自由的空间去创新。

不过确实也可以向已有的语言学习到很多东西。

uni

Jan 19, 2022

@xieyuheng 加油，做这个不容易
现在 lean 在数学界已经开始得到越来越多的关注（尤其得到 Peter Scholze 的关注后吸引了很多数学家的目光），我相信计算机辅助证明进入主流数学界进入一定只是时间问题，然而在这之前仍然有很多路要走，理论上和工程上
加油

xieyuheng

Jan 19, 2022

@uni 感觉鼓励！

确实不容易。而且时机也不一定已经到了。有时候我也在想，会不会要需要个几十年才可以～

dinosjk

Jan 23, 2022

赞一下，很棒