当前位置:当前位置: 首页 >
如何系统地学习Lean语言?_浙江省温州市龙湾区挑阿率交通产品有限合伙企业
浏览次数:304发表时间:2025-06-28 15:50:11
啊?简单说下我的想法: 现在latex不好看,公式是给人看的,不是给llm看的,严重增加了我这种小白看数学类资料的难度。
显而易见,这是不好的。
所以就需要一种语言 1.他的定义是函数式的,这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的,类似这个,这样我加一个mcp tool,再选上自动运行,就可以一键托管agent了并debug了。
(类似我们改完一个项目后跑一下验证一下结果,我们现在…。
同类文章排行
- 现在php还有前途吗?
- 消息称苹果 macOS 26 将不再支持部分旧款英特尔 CPU 机型,这背后原因有哪些?
- 你的网盘里有什么好东西,可以分享给我吗,陌生人?
- 以后是OLED还是mini-LED的天下?
- 数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
- 为什么QQ上的网络状态没有了?
- 如何评价茅台暂停京东供货?
- 陌生人晕倒了,帮他拨打120后,病人不支付120出车费,这个费用谁来承担?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 汉语是牺牲了什么,才成为世界最紧凑、最高效的语言?
最新资讯文章
- Electron 做游戏客户端的潜力有多大?
- 女生真正的完美身材是什么样子?
- 明星不拍戏的时候都在干什么?
- 大家在广州的一天是怎么样的呢?
- 大家有什么被中医震惊征服的经历吗?
- Golang和J***a到底怎么选?
- 内存选D4还是D5?
- 那你说什么样的是美女?
- 请问一下图中***的名字,谢啦?
- postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
- python与nodejs哪个性能高?
- 国内为什么那么多人黑 WordPress ?
- Centos为什么突然没人用了?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 你见过最漂亮的女生长什么样?
- 你卡过最厉害的bug是什么?
- 山西一职工「1 岁工作、22 岁退休」,冒领养老金 69 万,此事该如何追责?谁该赔偿财政损失?
- 为什么电信运营商们肯拼命加下行带宽,却对上行严防死守?
- 胸大的女孩会自卑 吗?
- 王冰冰最近是不是变丑了?





