如何系统地学习Lean语言?_广西壮族自治区梧州市藤县空村衣电信设备合伙企业

+86 0000 88888

推荐产品

  • 各位都在用Docker跑些什么呢?
  • 为什么国内的uni***一直没人讨论呢?
  • 为什么总有人要说"再见,docker!",那玩nas的为什么还离不开docker,比如绿联,飞牛?
  • 为什么是 9 月 3 日阅兵而不是 10 月 1 日国庆阅兵?

联系我们

邮箱:admin@admin.com
电话:+86 0000 88888
地址:广东省广州市番禺经济开发区 在线咨询

行业新闻

如何系统地学习Lean语言?

发布日期:2025-06-28 15:50:11 浏览次数:

啊?简单说下我的想法: 现在latex不好看,公式是给人看的,不是给llm看的,严重增加了我这种小白看数学类资料的难度。

显而易见,这是不好的。

所以就需要一种语言 1.他的定义是函数式的,这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的,类似这个,这样我加一个mcp tool,再选上自动运行,就可以一键托管agent了并debug了。

(类似我们改完一个项目后跑一下验证一下结果,我们现在…。

如何系统地学习Lean语言?