当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- Node.js是谁发明的?
- 重庆的你,择偶的标准是怎样的?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 为什么水泥封不住尸臭?
- 公立医生帮联系民营救护车,800 公里收费 2.8 万元,收费合理吗?救护车收费标准是什么?
- 如何评价“师父和我做鲁菜”账号基本上停更?
- next.js 为什么要走PHP ASP MVC的老路?
- 为什么程序员独爱用Mac进行编程?
- postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
- 为什么CCTV-6总是能播一些连院线都上不了的电影?
最新资讯文章
- 消息称三大运营商将于今年下半年全面重启eSIM,eSIM有哪些好处?为何此前暂停这一业务?
- 阿里云为什么没有一年的免费云服务?
- 印度人为什么总觉得比中国强?
- duckdb的性能如何?
- Golang与Rust哪个语言会是今后的主流?
- 系统该怎样架构才能处理实时热点数据?
- 为什么国内程序员不喜欢写单元测试?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 写代码的时候总是考虑太多怎么办?
- 怎么向老婆简单解释nas的用途?
- 2025年了 Rust前景如何?
- ***拍大尺度片子时摄影师不会看光吗?
- 排版用什么软件比较好啊?
- 为什么负荷那么大的腰部力量训练的人不会受伤,长期无载荷久坐的人会出现腰肌劳损?
- 以色列为什么要打伊朗?