当前位置: 首页 >
如何系统地学习Lean语言?_湖北省荆州市松滋市屋村作业保护有限公司
文章出处:网络 人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 各种免费的宝藏软件有哪些?
- 公司规定所有接口都用 post 请求,这是为什么?
- 前端真的已经凉了么?
- 脸与身材不符是种怎样的体验?
- 几年前吹的神乎其神的朱姆沃尔特舰为什么现在销声匿迹了?
- 数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
- 2025年,Gitea 和 GitLab 应当如何选择?
- 养殖户用铁锹拍鳄鱼不怕鳄鱼冲过去死亡翻滚吗?
- 如何评价 Next.js?
- 为什么 Go 语言的 Error Handling 被某些人认为是一个败笔?
最新资讯文章
- 如何评价张靓颖刘宇宁《九万字》?
- 你的低成本爱好是什么?
- 给你100万,但你必须从4度的水域和40度的水域中选一个游1公里,你选哪个?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 养鱼你踩的最大的坑是什么?
- 为什么现在大龄剩女越来越多了?
- 养乌龟是什么体会?
- 储存很多文件,是要用云盘还是用硬盘?
- Node.js 性能为什么这么差?
- 这位***叫什么啊?
- 三只羊是不是被人做局了?
- 俄罗斯为什么宁愿死磕欧洲也不经营远东地区?
- 本人女20,平胸跟男生一样怎么办 ?
- 如何才能在少掉肌肉的同时尽快减脂?
- 如何评价网传鸿蒙 PC 成功裸机启动 Windows ARM?
- 你自己觉得自己的身材好吗?
- GoLang不需要Rakefile/Makefile,是如何实现交叉编译的?如在X86上生成MIPS的可执行。
- 为什么j***a被部分开发者认为是低端技术?
- 为什么“柴犬”从万人迷,变成万人嫌?
- kvm是否会增加显示信号的传输延迟,或者键鼠的延迟?打游戏用这个,会影响吗?