当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 想学编程,该不该买MacBook?
- 为什么《绝区零》打磨了那么多细节的同时,却有一个灾难性的UI设计?
- 为什么大家不再提星链了(包括外网)?
- 阿里云为什么没有一年的免费云服务?
- 为什么 macOS 上国产软件不流氓?
- 有没有一款音乐播放器,能连接nas音乐,创建音乐库,自动匹配歌词封面等等?类似infuse的概念呢?
- 2025年了 Rust前景如何?
- 韦东奕在北大会面临非升即走吗?
- 你准备好迎接牛市了吗?
- 我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
最新资讯文章
- 为什么说J***a21的虚拟线程不再有阻塞的问题?
- 维护一个大型开源项目是怎样的体验?
- 小鹏G7预售价23.58万,何小鹏称其为「全球首款L3级算力的AI汽车」,何为L3级算力?竞争力如何?
- count(*) count(1)哪个更快?
- 孩子为什么越大越不愿意跟我们说话?
- 想开一个100cm或者120cm的溪流缸或者水草缸,有没有大佬指导一下,有哪些注意事项?
- 全平台应用框架会是趋势吗?flutter、tauri、maui你更看好哪一个?
- 平面设计真的很难做吗?
- 为什么windows的arm版没有被广泛使用?
- 穿了瑜伽裤真的舒服吗?
- 笨、傻、蠢有什么区别?
- 慢跑 5 公里用 40 分钟是不是很丢人?
- NAS那么弱的CPU,真能做别的事情吗?
- 国内大厂现在用rust的多吗?
- 苹果这家公司伟大之处在哪里?
- 目前中国男性有什么困境?
- 为什么Next.js和Nuxt.js发布时间只隔了几小时?
- 请看两段***再回答,你认为:中医到底是不是科学,何以见得?
- 你身边身材最好的女生是什么样?
- Windows内核的私有api是怎么被发现的?