当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 00:15:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为什么 macOS 上国产软件不流氓?
- 如何成为氛围感美女?
- Rust据说是这样先进,那Rust编译器也总该是Rust写的吧?
- 穿了瑜伽裤真的舒服吗?
- 国内的银行软件搞所谓的“安全键盘”是不是有什么大病?
- j***a和go语言谁更好一点?
- 高一弟弟上设计课需要买电脑,为了杜绝他打游戏给他买了一万二的苹果,但他还是在想办法下载游戏,怎么救?
- 有没有宝塔平替的服务器管理面板,现在宝塔越来越贵了,也太臃肿了?
- 家庭网络,是否有必要做多个网段并隔离?
- 写代码的时候总是考虑太多怎么办?
最新资讯文章
- 如何评价微软的远程桌面?
- 如何看待x上的民族种姓天梯?
- Linux 内核的系统有没有类似macOS 那样漂亮流畅的桌面环境的发行版本?
- 电影《碟中谍》系列中哪一部最好?
- 前端能否限制用户截图?
- 为什么人到中年,很少有身材苗条的?
- 穿了瑜伽裤真的舒服吗?
- 微软 VS Code 1.101 发布,集成 MCP 协议,这对用户体验有哪些改变?
- 怎么看待三十而已里说的养鱼让人玩物丧志,养鱼是魔鬼,是黑洞,养鱼毁三代鱼缸毁一生的话?
- 你见过最脑残的设计是什么?
- 养乌龟是什么体会?
- “飞机是最安全的交通工具”这种说法,是否是谬论?
- 有没有GUI框架开发难度小,***消耗又不多,而且又跨平台?
- PostgreSQL 与 MySQL 相比,优势何在?
- 为什么有的人喜欢带着 MacBook 去咖啡店或者书店上网,而不是 ThinkPad 之类的?






关注公众微信号
移动端,扫扫更精彩