当前位置:当前位置: 首页 >
如何系统地学习Lean语言?_重庆市长寿区允凤玻璃清洗股份有限公司
浏览次数:304发表时间:2025-06-27 21:25:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 怎么看待B站舞蹈区和某些风格比较暴露的up?
- lar***el是php架构最垃圾的性能,为什么那么多人还是自我感觉良好?
- Web后端开发,用Python还是Go呢?
- 如何看待湖北一医院婚检查出艾滋医生未告知伴侣致感染,医生被停职?反映出哪些问题?
- 现在网上把清朝说得一无是处,但是为什么能统治268年?
- 维护一个大型开源项目是怎样的体验?
- count(*) count(1)哪个更快?
- 作为新生儿父母,你走过哪些弯路?
- 如何评价首个女性友好的编程语言HerCode?
- 如何判断鱼缸中的硝化系统是否已经成功建立?
最新资讯文章
- docker怎么修改拉取源从指定的国内仓库拉取镜像?
- 三峡水利枢纽为什么会选址在三斗坪镇?
- duckdb的性能如何?
- 中国特有的狸花猫有多强大?
- Rust、Go、Zig、Dart、C3、C++、C,仓颉、moonbit、凹语言哪个语言更有未来?
- 蜂鸟音乐指控邓紫棋侵权,要求 48 小时内下架重录歌曲,邓紫棋回应「不会下架」,这一指控合理吗?
- 如何看待日本小学校园餐只有一小块鸡肉?
- Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?
- 将 Windows Server 作为个人 PC 操作系统来用是怎样的体验?
- 5挺马克沁机枪,能否击败50万重骑兵?
- 如何看待《捞女游戏》导演***辉B站账号遭封,是否遭到打击报复?
- 女性如果讨厌白幼瘦审美,不去迎合这种审美不就好了吗?为什么还有这么多女性不满?
- 为什么linux桌面那么丑?
- 有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
- PHP初学者,我能不能使用PHP来开发桌面应用?
- 有没有什么惊为天人的 Logo 设计?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 为什么买了Switch后,却发现它并没有那么好玩?
- 为什么越来越多的国内男孩,要娶国外女孩?
- 有人说x86是条必沉的船,苹果早就跳船了,微软也有弃船的意图,你怎么看?