当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 22:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 055驱逐舰 是个什么概念?
- 你和你老婆是怎么认识的?
- 《碟中谍 8》都有哪些槽点?
- 周杰伦被曝现身日本弯腰驼背似老人,是真的吗?他曾称患有强直性脊柱炎,这病对身体影响有多大?能治好吗?
- 为什么越来越多人不敢炒股了?
- 小腿能粗到什么地步?
- 为什么面向对象编程这么困难?
- 为什么都说 Finder 难用?
- 北京日报点名批评“苏超”过度娱乐化的动机是什么?
- go为了编译速度减少了很多编译优化?为什么不能提供优化编译模式来提升运行效率?是太懒还是另有隐情?
最新资讯文章
- 韦东奕和王虹谁的数学天赋更强?
- 为什么 macOS 上国产软件不流氓?
- 生活中怎样的美女才能被称为「大」美女?
- 为什么欧美影视喜欢露点?
- 现在的年轻人喜欢穿连裤袜吗?
- 如何评价腾讯云SDK的GO语言仓库有20万个tag?
- switch2好用吗朋友们?
- 如何看待英伟达新推出的显卡5090dd?
- postgres集群的选择?
- 世界上哪款战斗机最好看?
- 为什么 J***a 没有好用的 ORM 框架?
- 穿瑜伽裤爬山的女生会不会害羞?
- 自己组一个E5服务器才几百块钱,为什么去阿里云租这么贵?
- 华为中年粉丝都是什么样子的?
- 印度是真的烂还是咱们在信息茧房里面?
- 空调现在抽真空15分钟真的还有意义吗?
- 网传厦门某国企研发部门要求每日考察后端 400 行,前端 1000 行代码量,如属实,这个考核合理吗?
- 如何评价ipad pro2024?
- 有哪些是你用上了mac才知道的事?
- playwright 爬虫中 on 方法如何运用?