当前位置:当前位置: 首页 >
如何系统地学习Lean语言?_广东省梅州市五华县倡泛厚旧玻璃包装股份公司
浏览次数:304发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 现代艺术只考虑意义、不考虑美感吗?
- 孩子画过什么画让你非常震惊?
- 说说你为什么使用rust或者不用rust呢?
- Firefox 浏览器是否还有可能浴火重生?
- 大街上看到大白腿,忍不住瞄了两眼,算不算不尊重女性?
- Rust开发Web后端效率如何?
- 法国科学家宣布发现一种全新血型,称为「瓜德阴性」,这一发现意味着什么?这种血型有哪些特别之处?
- 西安一商场大屏播放巨大电风扇,这真的能起到「望扇止暑」效果吗?还是单纯营销创意?
- 如何看待苹果在 WWDC25 发布的 Foundation 模型框架,它将为开发者和用户带来哪些改变?
- 中年失业,想学中医还有机会吗?
最新资讯文章
- ***拍大尺度片子时摄影师不会看光吗?
- 不住酒店可以去哪过夜?
- 有哪些让你目瞪口呆的 Bug ?
- 《甄嬛传》中祺贵人为什么和甄嬛反目?
- 机械硬盘的盘片轴承是如何避免磨损的?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
- go语言unmarshal反序列化json数据,类型不确定怎么办?
- Caddy 和 Nginx 比有哪些优点和缺点?
- 自己拥有一台服务器可以做哪些很酷的事情?
- 为什么面对 Adobe 的版权要求下,vposy 大神还能从容不迫?
- 间谍一般是怎么暴露的?
- 前端,后端,全栈哪个好找工作?
- 你们在编程时遇到过什么离谱的bug吗?
- 为什么华为价值2.3W的鸿蒙电脑用的是美国西数的中低固态硬盘??
- 哪些音频剪辑工具很好用?
- 真的有这种又苗条身材又爆炸的么?
- 哪一句话让你沉默了很久?
- 现代艺术只考虑意义、不考虑美感吗?
- 国产手机APP为什么越来越臃肿?