当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 最近突发奇想,想做以NAS为主的家用媒体中心。下面是我做的一个草图,各位大神看看可行吗?
- 刘亦菲为什么不结婚?
- 为什么人到中年,很少有身材苗条的?
- 请看两段***再回答,你认为:中医到底是不是科学,何以见得?
- 女生真正的完美身材是什么样子?
- 为什么腰突不受到医学界的重视?
- Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?
- springboot框架中一个controller类可以调用多个service类吗?
- 男朋友说我穿裙子不要敞开腿坐这是他底线,我该怎么办?
- 你们在编程时遇到过什么离谱的bug吗?
最新资讯文章
- 我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
- 为什么审美上追求头小脸小?
- 如何看待现在的前端?
- PostgreSQL 与 MySQL 相比,优势何在?
- 为什么年轻的肉体让人沉迷?
- python与nodejs哪个性能高?
- cloudflare的1.1.1.1和warp有什么区别?
- 如何证明散片 CPU 比盒装 CPU 差?
- 猫猫一年不洗澡,会对它们的健康有影响吗?
- 据说go和c#的开发者都说自己比较节省内存,你们认为呢?
- 组nas一定要TDP低的cpu吗?
- 中国大陆地区献血率为何如此低下?
- 女生为啥喜欢穿不戴钢圈的胸罩?
- 不是都说6月美债要爆吗 怎么没消息了?
- 有个漂亮女朋友是种怎样的体验?
- 为什么中国的英语教育这么失败?
- 如何评价“师父和我做鲁菜”账号基本上停更?
- 现在已经有5K、6K、8K分辨率显示器,那么8K之后是什么?
- 为什么韩国的热辣舞团无法征服中国的男性市场??
- 什么样的人算是中了基因***?