扫二维码与项目经理沟通
我们在微信上24小时期待你的声音
解答本文疑问/技术咨询/运营咨询/技术建议/互联网交流
如何系统地学习Lean语言？
啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
郑重申明：某某网络以外的任何单位或个人，不得使用该案例作为工作成功展示！
- 在线咨询
-
微信二维码
-
移动版官网