当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 06:05:10
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 30马赫的导弹,近防炮能挡住吗?
- 为何腰突不能去根,突出了就再也回不去了,一直压迫神经根,为什么发作的时候疼,不发作的时候就不疼?
- 怎么看swift的并发模式选择了actor模型?
- 飞机这么多按钮都要一个个地打开,为什么不能一键启动?
- Vue性能优于React,那为什么还不用Vue?
- 为什么苹果手机杀后台现象频繁?是内存不够、后台管理严格还是其他原因呢?
- 中年男人为什么还在玩十年前的游戏?
- 2025年了 Rust前景如何?
- 为什么买了Switch后,却发现它并没有那么好玩?
- 飞天茅台散瓶批发价跌破 2000 元,背后什么原因?收藏茅台还能增值吗?
最新资讯文章
- 儿子抑郁四年左右了,他的未来该怎么办?
- 2025年了 Rust前景如何?
- 大海捞针还捞着了是一种什么样的体验?
- 如何看待亮亮丽君夫妇中的女主又怀孕?
- vue 框架开发的项目结构是如何搭建的?
- 超级喜欢穿短裙正常吗?
- 换过电池的苹果手机内部发现被加装了一个部件,有大佬知道这是干什么的吗?
- 为什么水泥封不住尸臭?
- 你见过身边身材最好的女生是什么样子的?
- 为什么同样是输球,常州和国足的风评却差那么多呢?
- jwt与token+redis,哪种方案更好用?
- 有什么是你去了西藏才知道的事情?
- 为什么桂林的旅游做不起来?
- Linux有什么好用的防火墙软件?
- 有没有GUI框架开发难度小,***消耗又不多,而且又跨平台?
- Rust开发Web后端效率如何?
- 把《武林外传》中的打工人郭芙蓉放在现代,她能干长久吗?
- 我国004号航母什么时候下水?
- 有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
- 都知道腐败会被查,可为什么屡禁不止呢?





