当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如何证明散片 CPU 比盒装 CPU 差?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
- MiniMax Week第三天推出通用 Agent,体验如何?对行业会带来哪些影响?
- Mac的photoshop到底是什么水平?重度ps使用有必要换平台吗?
- Electron 做游戏客户端的潜力有多大?
- 如何看待华为Pura80标准版手机接口竟倒退成USB 2.0?要是也烧了WIFI是不是不好备份数据?
- 如何评价“寡姐”斯嘉丽·约翰逊的身材?
- 如何评价前端框架SolidJS?
- 如何评价网传鸿蒙 PC 成功裸机启动 Windows ARM?
- 为什么好多人不承认大众审美就是喜欢白皮?
最新资讯文章
- 女生被踢裆也会很疼吗?
- 有哪些事情是你去了越南以后才知道的?
- 该怎么反驳有的人说;“东德和西德,朝鲜和韩国就是上帝摆出来最大的例子”?
- M4 Mac mini2024款,这种主机到底怎么样呀?
- 大家的NAS都是24小时不关机吗?
- 阿里云盘冻结后强制收费才能解冻,如何处理?
- SATA固态好用吗?为什么大家都喜欢m.2呢?
- mysql每天有1千万数据 怎么办?分表吗 有什么好的方案。?
- 一个非常漂亮的残疾女孩,会有人愿意娶吗?
- j***aer总是说有分布式了,单体性能就不重要了,这种说法对吗?
- 日本AV对中国人的毒害有多大?
- 为什么年轻的肉体让人沉迷?
- 什么是你去了台湾才知道的事?
- minecraft 服务器可以做到像大型网络游戏一样容纳上万人么?
- 太平天国为什么最后打不过曾国藩呢?
- Jetpack Compose 和 Flutter 应该先学哪个呢?
- Golang 中为什么没有注解?
- 做引体向上可能会诱发腰肌劳损吗?
- 为什么供应链桃子只有小米雷军可以摘,其他人只能干瞪眼?
- GoLang不需要Rakefile/Makefile,是如何实现交叉编译的?如在X86上生成MIPS的可执行。