当前位置: 首页 >
如何系统地学习Lean语言?
- 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
推荐资讯
- 2025-06-29为什么中国很少有人使用linux?
- 2025-06-29为什么一直唱衰的php语言反而日渐活跃?
- 2025-06-296 月 28 日贵州榕江县防汛应急响应提升至 Ⅰ 级,全城撤离,当地情况如何?
- 2025-06-29国内哪家waf设备比较靠谱?
- 2025-06-29Golang中有必要实现Async/Await吗?
- 2025-06-28为什么只有Linux内核中有KVM?
- 2025-06-2927寸显示器是否有必要到4K?
- 2025-06-29股票分红明明是好事,为什么不受待见?
- 2025-06-29switch模拟器是不是历史上唯一在主机当红时就几乎完美模拟器?
- 2025-06-29周杰伦被曝现身日本弯腰驼背似老人,是真的吗?他曾称患有强直性脊柱炎,这病对身体影响有多大?能治好吗?
- 2025-06-2986版西游记的女演员里,你觉得哪些特别漂亮?
- 2025-06-29为什么LibreOffice的Windows版在国内火不起来?
- 2025-06-29桂林米粉为什么走不出桂林?
- 2025-06-29为什么越是禁止孩子玩手机的家庭,最后养出的网瘾少年越多?
- 2025-06-29茅台会在什么情况下崩盘?
- 2025-06-29小米 YU7 发布会,有哪些大说特说的点其实是行业基操?
推荐产品
-
与 rust 相比,Go 语言设计是否相对粗糙?
确实粗糙,语法糖rust秒杀golang,开发速度,熟练之后 -
为什么任天堂在NS2上没有选择使用OLED屏幕以提升续航能力和显示效果?
据某舅舅党传言,ns2的屏幕是宝马2022年专门定制的,由于 -
为什么卫星地图上,空中飞行的飞机会有三原色的拖影?
省流版本:卫星拍照时为了提高对比度,会 先后对不同的颜色通道 -
为什么中国人做一顿饭要几个小时,而国外花的时间少得多?
前两天跟几个同学聚餐,我这道红烧肉,一个师妹家四岁的小朋友吃
最新资讯