当前位置: 首页 >
如何系统地学习Lean语言?_四川省甘孜藏族自治州德格县摆收园艺用具股份公司
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为什么web worker可以在前端开多线程,解决单线程卡死页面的问题,但是没有得到广泛使用?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 孩子画过什么画让你非常震惊?
- postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
- go语言unmarshal反序列化json数据,类型不确定怎么办?
- 为什么闺蜜做了妈妈后就像变了个人?
- 为什么这么多人讨厌中国移动?
- 你见过最脑残的设计是什么?
- 大家都喜欢用什么浏览器?
- 如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
最新资讯文章
- Prototype.js 这个库和 J***aScript 的原型链 prototype 有什么关系吗?
- 为什么国内的黄***站不被查封?是难发现吗?
- MacOS真的比Windows流畅吗?
- 程序员想搭建自己的服务器求指教。?
- 为什么macOS软件生态不敌Windows?
- 请问照片里这个人是谁呀?
- 为什么日本人室内光脚啊?他们屋子里有这么干净吗?
- 如何评价Cursor?
- 为什么越来越多的 SSD 不带片外缓存了?
- 2025年6月,到底买油车还是电车?
- 055一打一能不能打过阿利伯克?
- 12通道内存可否足以当显存用?
- 为什么没人提微软裁员?
- 民航局紧急通知禁止携无 3C 标识及被召回的充电宝乘境内航班,无 3C 标识充电宝有哪些安全隐患?
- 为什么不用rust重写Nginx?
- 该怎么反驳有的人说;“东德和西德,朝鲜和韩国就是上帝摆出来最大的例子”?
- 为什么macOS软件生态不敌Windows?
- 为什么 Linux 软件安装包会有依赖关系,而 Windows 软件安装包不需要?
- 手机的运行内存真的有必要上16GB吗?
- Node.js是谁发明的?