当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为什么有的人喜欢盲目抵制 goto 语法?
- 汉语是牺牲了什么,才成为世界最紧凑、最高效的语言?
- 什么是防抖和节流?有什么区别?如何实现?
- Electron 做游戏客户端的潜力有多大?
- 怎么评价国内AI企业人肉背15块80TB硬盘,飞去马来西亚用英伟达训练数据,以规避美国禁令?
- 目前react的生态系统是什么情况,有没有比较公认的成熟的开发技术栈?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 如何看待不超过1879元的Mac mini(M4+16/256GB+票),易用性吊打同级其他台式电脑?
- 现实中的父女关系是怎样的?
- 想自己DIY一个NAS,想听听大家的意见。?
最新资讯文章
- 有一双超级大长腿是什么感觉?
- 你们在编程时遇到过什么离谱的bug吗?
- 什么时候你意识到自己不年轻了呢?
- 前端如何设计网页?
- Android为什么不直接执行Linux的程序?而是自己搞一套?
- 王老菊再次公开招聘游戏开发人员,你对他有什么建议吗?
- Unity收费***后,为何大家选择了Godot而不是Cocos?
- 为什么有的人喜欢带着 MacBook 去咖啡店或者书店上网,而不是 ThinkPad 之类的?
- 为什么华为价值2.3W的鸿蒙电脑用的是美国西数的SN740固态硬盘?
- 为什么好多人不承认大众审美就是喜欢白皮?
- Gemini Advanced 和 aistudio有什么区别?
- 如何评价最新发布的 vivo X Fold5,作为首款「三防」折叠屏手机,都有哪些亮点值得关注?
- 婴儿出生时的脐带血有必要保存吗?
- 折叠屏手机有哪些有用或好玩的功能,你过去不理解,现在离不开?
- Mac mini M4,有必要升级24G内存吗?
- 在中国有多少开发者使用Rust编程语言?
- 妈妈的类风湿越来越严重,我总感觉快要失去妈妈了怎么办?
- DIY的NAS易用性如何?
- 这个世界有多少用WinRAR的付费用户?
- 如何看待CCTV13批评“L2.999智驾”等误导性宣传,若导致事故车企可能需要担责?