当前位置: 首页 >
如何系统地学习Lean语言?_海南省儋州市新州镇唯卫士农药有限合伙企业
文章出处:网络 人气:发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 大海捞针还捞着了是一种什么样的体验?
- 商业史上有哪些降维打击的经典案例?
- 我的世界怎么租一个四个人的服务器?
- golang 与rust 在服务器程序领域相比较,各有什么优劣势?
- 晚上睡觉总是腰疼,有什么办法可以避免?
- 有没有一款音乐播放器,能连接nas音乐,创建音乐库,自动匹配歌词封面等等?类似infuse的概念呢?
- 为什么央视不再报道洛杉矶***了?
- 在武汉,你们的找对象标准是怎样的?
- Gradle 是否已经对安卓的发展构成了阻碍?
- 为什么开发一个 AI Agent 看似容易,但真正让它「好用」却如此困难?技术瓶颈主要在哪里?
最新资讯文章
- 有没有免费的云服务器?
- 怎么才能有尤雨溪一半强,该怎么学习?
- 现在网络上各种前端已死,后端太卷的言论,这是真的吗?还是有人蓄意炒作?
- Flutter 为什么没有一款好用的UI框架?
- 中年夫妻有多少生活和谐的?
- 为什么全世界无一人能实现新mac直接全功能稳定装Win 11 arm,或PC直接装macOS arm?
- 如何评价人民网评关于集中整治违规吃喝的发文?
- 如何评价广州这座城市?
- 为什么微信不向telegram学习?
- 以前大力推广的沼气池,怎么现在越来越少了?
- 老饭骨做的饭真的好吃吗 ?
- 亚洲体坛最漂亮的十位女运动员都有谁?
- 什么时候你意识到做技术永无出路?
- 核武器真的有宣传中那么牛逼吗?
- 什么事情是你待在西安才知道的?
- 如何看待alist被转手出售***?
- 你曾看到空乘做过的最傻的事情是什么?
- 广东工业大学你们觉得怎么样?
- 据说go和c#的开发者都说自己比较节省内存,你们认为呢?
- 现在国内有哪些比较不错的 J***a 开源商城系统?