当前位置: 首页 >
如何系统地学习Lean语言?_青海省果洛藏族自治州玛沁县拍黎洁雕塑股份公司
文章出处:网络 人气:发表时间:2025-06-27 22:35:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 大家有没有「大众认为是烂片但个人却喜欢看」的影片?
- 用K8s的公司有多少人会部署K8s?
- 中国女性的臀围普遍比欧美女性小,是人种的差异吗?
- 作为一个腰细腿粗的女生什么感觉?
- 孩子画过什么画让你非常震惊?
- 怎么评价程序员40岁了竟然还在撸代码?
- 竖折能否取代 iPhone mini成为小屏的最佳选择?
- 你见过身边身材最好的女生是什么样子的?
- 为什么西藏都解放这么久了还需要***喇嘛和班禅转世活佛来巩固凝聚力?
- IntelliJ IDEA 中有什么让你相见恨晚的技巧?
最新资讯文章
- 发生了什么导致你从此再不吃某样食物?
- 蔡澜曾说「年轻人要存到 100 万以上,这是脱离牛马生活的第一步」,怎样看这一观点?
- 黄晓明上戏考博落榜,本人回应「明年再战」,怎样看明星对高学历的追求?上戏博士有多难考?
- 消息称三大运营商将于今年下半年全面重启eSIM,eSIM有哪些好处?为何此前暂停这一业务?
- 前端真的已经凉了么?
- 你自己觉得自己的身材好吗?
- 为什么中国的英语教育这么失败?
- 有哪些让你终身难忘的女同学?
- 鱼缸能不能做到一直不换水还很清澈?
- MacBook Pro M1 Max 要不要换 M4 Max?
- 中国大陆的苹果手机被阉割了哪些部分?
- 现实中的父女关系是怎样的?
- 真的没有人觉得2k是一个很尴尬的分辨率吗?
- 大厂后端开发需要掌握docker和k8s吗?
- 求大神解答,为什么大家都不喜欢用docker?
- 你们学校的校花都是怎么样的?
- 86版西游记的女演员里,你觉得哪些特别漂亮?
- 阿里云为什么没有一年的免费云服务?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 为什么国内的uni***一直没人讨论呢?