当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 21:25:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 泡泡玛特成立电影工作室,将推出《LABUBU 与朋友们》动画剧集,这能够有效延长 IP 寿命吗?
- 软路由是否被过度神化?
- 为什么这么久了还是没有主流软件开发鸿蒙版?
- 家用路由器防火墙有必要开吗?
- 你从什么时候开始感觉孩子不属于你了?
- 为什么某些人说中国现在全球军事实力第一,但包括中国人在内很多人不认可?
- 本人女20,平胸跟男生一样怎么办 ?
- 想自己在家组服务器,有什么好方法?
- 为什么都说 Finder 难用?
- 后端真的比前端累吗?
最新资讯文章
- 如果两辆同型号的车换了车牌,电子警察会发现吗?
- 如果rust之父用rust重写nodejs,node性能能和rust一样吗?那么为啥v8慢?
- 为什么好多人不承认大众审美就是喜欢白皮?
- 你们的腰突是怎么突然好的?
- 胖东来能长久下来吗?
- 如何评价首个女性友好的编程语言HerCode?
- 高并发下怎么做余额扣减?
- 腰间盘突出能不能治愈?
- 请问照片里这个人是谁呀?
- 我听说Windows12微软就直接重头构建Windows了,就直接重构Win内核了,到底是不是真的?
- 长期使用的大佬来说说,MacOS 真的比 Windows 稳定吗?
- 你是什么时候发现,上班是没有意义的?
- Golang与Rust哪个语言会是今后的主流?
- 你见过身边身材最好的女生是什么样子的?
- 北京多所高校建议舍弃罗马仕充电宝,品牌方称正调查,罗马仕充电宝质量如何?如何排查所用充电宝是否安全?
- 未来几年,市场对 AI 人才的需求会集中在哪几个方向?
- 买到烂尾楼到底该有多绝望?
- 人常说女人味,到底是个什么味?
- 为什么说男人至死都是少年?
- Flutter集成rust到底有多好?