当前位置: 首页 >
如何系统地学习Lean语言?_海南省儋州市新州镇唯卫士农药有限合伙企业
文章出处:网络 人气:发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- SwiftUI 是不是一个败笔?
- Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?
- 有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
- Windows微信4.0是用Qt写的吗?腾讯不是前脚才说Qt人才匮乏?
- MongoDB的缺点以及你为什么不使用MongoDB?
- 平面设计真的很难做吗?
- 有一个***约你出去,你会去吗?
- 服务器能否拒绝非浏览器发起的HTTP请求?
- 印度女性为什么不嫁到中国?
- Electron是否有作为游戏引擎的潜力?
最新资讯文章
- 如何用C#做个远程桌面管理工具?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 网页上的字体变了怎么办?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 软路由是否被过度神化?
- 如何评价董宇辉?
- 有哪些可以播放NAS音乐的安卓音乐播放器?
- 三只羊是不是被人做局了?
- 雷军为什么不愿意用性价比打法进军NAS?
- 高薪裁员的中年人送外卖还是开滴滴好?
- 美国国务卿称将开始吊销中国学生签证,包括在关键领域学科学生,影响有多大?在美中国留学生该怎样应对?
- 如何看待不超过1879元的Mac mini(M4+16/256GB+票),易用性吊打同级其他台式电脑?
- 为什么情侣在一起旅行后容易分手?
- Firefox 浏览器是否还有可能浴火重生?
- 洲际导弹能打到任何地方,为什么还需要轰炸机?
- 你后悔娶了现在老婆吗?
- Rust 的设计缺陷是什么?
- 我的世界怎么租一个四个人的服务器?
- 核聚变是一条死胡同吗?
- 腱鞘炎常见的治疗方案都有哪些?