当前位置： 首页 >
如何系统地学习Lean语言？_新疆维吾尔自治区伊犁哈萨克自治州察布查尔锡伯自治县移劣业店面设计合伙企业
- 据说go和c#的开发者都说自己比较节省内存，你们认为呢？
- 以色列是如何从三天前的不可一世要灭了伊朗到今天的哭哭啼啼要“为生存而战”的？
- Golang与Rust哪个语言会是今后的主流？
- 花旗预测未来几季金价将回落至每盎司 3000 美元以下，这其中有哪些相关依据？
- 2029年中国能载人登上月球吗？
- NextJS的全栈能力现在如何了?
- 真的有这种又苗条身材又爆炸的么？
- 为什么在日本是实体店干掉电商，在中国却是电商干掉实体？
- 老公加班过多，是逃避家庭责任吗？
- 如何看待 Three.js / WebGL 等前端 3D 技术？
联系我们
邮箱：
手机：
电话：
地址：
如何系统地学习Lean语言？
作者： 发布时间：2025-06-28 15:50:11点击：
啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
新闻资讯
-
2025-06-18为什么windows的arm版没有被广泛使用？
-
2025-06-18如何看待机器之心重测高考数学全卷，Gemini夺冠，豆包DeepSeek并列第二？
-
2025-06-18你为什么对kotlin失去好感?
-
2025-06-18为什么浙江落下的陨石，防空系统没有拦截，它和导弹有什么不同？
-
2025-06-18Office 中为何还要保留 Access 数据库?
-
2025-06-18阿里云为什么没有一年的免费云服务？
相关产品
