当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-28 15:50:11
啊?简单说下我的想法: 现在latex不好看,公式是给人看的,不是给llm看的,严重增加了我这种小白看数学类资料的难度。
显而易见,这是不好的。
所以就需要一种语言 1.他的定义是函数式的,这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的,类似这个,这样我加一个mcp tool,再选上自动运行,就可以一键托管agent了并debug了。
(类似我们改完一个项目后跑一下验证一下结果,我们现在…。
同类文章排行
- 这一轮以色列和伊朗的冲突谁会笑到最后?最终会如何收场?
- 为什么日本人口密度这么大还能住一户建,中国只能住楼房?
- 中国女篮张子宇身高 2 米 26 制霸赛场,身高因素在篮球比赛中能占多大优势?她会是下一个「姚明」吗?
- Linux有什么好用的防火墙软件?
- 为什么不成立一个***经济特区?
- 飞机这么多按钮都要一个个地打开,为什么不能一键启动?
- 做个web服务器,gin框架和go-zero怎么选?
- 如果发动机热效率达到100%,一升汽油大概可以让汽车行驶多少公里?
- 为什么各大 *** 出奇一致地设置了『摇一摇开屏广告』?如何关闭常用 *** 的这些广告?
- 如何评价b站up主唐卡七?
最新资讯文章
- 你在健身房发生过什么有趣的事情?
- 熊猫烧香技术含量高吗?高在哪里?
- 有没有开源的音频AI降噪库?
- 如何评价人民网评关于集中整治违规吃喝的发文?
- 中国发动机是技术落后,还是材料技术没有攻克?
- 我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
- 如何评价人民网评关于集中整治违规吃喝的发文?
- 作为一个服务器,node.js 是性能最高的吗?
- 你的鱼缸里养过什么奇怪的鱼?
- 空战的时候可不可以先击落预警机?
- 2029年中国能载人登上月球吗?
- 小米汽车官方解释了刹车盘生锈属于正常现象,并提供了两种除锈功能,这些措施是否足够有效?
- 可以分享你的一张背影照吗?
- 如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
- qwen3-0.6B这种小模型有什么实际意义和用途吗?
- ***如古代长城用的是C140混凝土,那千百年下来会完整的留存至今还是损坏的更加严重?
- 哪个牌子的护肤品好呀?想给妈妈买一套抗衰老的护肤品?
- 为什么人到中年,很少有身材苗条的?
- 阿里云为什么没有一年的免费云服务?
- 亚洲体坛最漂亮的十位女运动员都有谁?





