当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-27 22:35:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 2025年,Gitea 和 GitLab 应当如何选择?
- 如何看待《捞女游戏》(已改名为《情感反诈模拟器》)定档 6 月 19 日?
- 手机的运行内存真的有必要上16GB吗?
- 以色列为什么要打伊朗?
- 如何评价张靓颖刘宇宁《九万字》?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 如何看待汤姆张对山东的言论?
- 有哪些是你用上了mac才知道的事?
- 华为鸿蒙还有多久可以在pc桌面取代Windows?
- 为什么一部分 Go 布道师的博客不更新了?
最新资讯文章
- 《长安的荔枝》里的故事,真的发生过吗?
- 广东省肇庆市怀集县洪水后,赵一鸣零食店被哄抢,物资和收银机里面的几千块钱被哄抢一空,如何评价?
- 如何看待特朗普最后关头取消对伊朗的军事行动?
- 至今为止,cpu中有哪些“神u”?
- 不用CDN就没事,用阿里云CDN就被攻击刷流量,阿里云表示证明不了就要用户买单,如何看到这种行为?
- 为什么在日本是实体店干掉电商,在中国却是电商干掉实体?
- Golang与Rust哪个语言会是今后的主流?
- 如何看待湖北一医院婚检查出艾滋医生未告知伴侣致感染,医生被停职?反映出哪些问题?
- 感觉鱼缸久了底下火山石里脏脏的,能彻底换水清理一遍不?
- 公司规定所有接口都用 post 请求,这是为什么?
- 降维打击是什么?
- 为什么我感觉现代医学还是很落后?
- 小米发布了 REDMI 首款旗舰小平板 K Pad,仅 8.8 英寸,小巧便携,如何评价这一设计?
- 突然发现自己变老是怎样一种体验?
- 如何看待“开私人飞机的富人不带头环保,我一普通人为啥要环保”的观念?