当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 浏览次数:发表时间:2025-06-28 15:50:11
啊?简单说下我的想法: 现在latex不好看,公式是给人看的,不是给llm看的,严重增加了我这种小白看数学类资料的难度。
显而易见,这是不好的。
所以就需要一种语言 1.他的定义是函数式的,这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的,类似这个,这样我加一个mcp tool,再选上自动运行,就可以一键托管agent了并debug了。
(类似我们改完一个项目后跑一下验证一下结果,我们现在…。
同类文章排行
- node 项目中如何使用 Node Schedule 创建定时任务?
- 女生腰肌劳损了还能健身吗?
- 5 月 28 日 DeepSeek R1 模型完成小版本试升级并开源,具体有哪些提升?使用体验如何?
- 大一计算机新生怎么合理利用github?
- 为什么j***a被部分开发者认为是低端技术?
- 如何评价日本2024年出生人口68.6万,总和生育率再创历史新低?
- 编程对电脑的要求大概需要多高?
- 有没有免费的云服务器?
- 为什么中国航天不像NASA那样展示更多的宇宙景象?
- vscode 是盈利的吗?微软为什么要持续投入开发***?
最新资讯文章
- 程序员都在用什么显示器写代码?
- 如何评价阿富汗取消与中国的石油开***合同?
- 有没有用过GOOVIS的?
- 中国航天经常提的“归零”到底是什么意思?
- CRM 开源系统有哪些推荐?
- 为什么 Go 语言的 Error Handling 被某些人认为是一个败笔?
- 你是怎么发现亲戚开始见不得你好的?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 美军 B-2 轰炸机参与袭击伊朗核设施,B-2轰炸机战斗力如何?会摧毁伊朗核设施吗?
- 伊朗距离以色列上千公里,发射的导弹靠什么来导航定位呢?美国的GPS不会让他们用的。?
- 为什么人类没有发现(公开)外星人?
- 朝鲜算是一个现代文明的国家吗?
- Electron 和当下其他的桌面开发方法相比如何?
- 女明星做了什么医美项目保持童颜?
- 为什么很多陕西人做饭一点都不讲究?
- 京东刘强东近期小范围分享怎么看?
- 为什么游戏总是缺少 dll 文件?
- 各位历史发烧友,介绍一下你知道的冷门史实或逆天史实?
- 如何看待 2026QS 世界大学排名?
- 夸克网盘有可能超越百度网盘吗?





