当前位置: 首页 >
如何系统地学习Lean语言?_上海市崇明区阳召差灯具股份公司
文章出处:网络 人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如何评价 Vue.js 纪录片?
- 为什么任天堂在NS2上没有选择使用OLED屏幕以提升续航能力和显示效果?
- go的channel在实际项目中会怎么使用?
- 为什么rmvb格式消失了,它在技术上比不上H264吗?
- 理论上flutter性能应该非常高才对,为什么好些flutter应用性能一般?
- 什么才是真正的爱情?
- 你用过最丑的编程语言是哪个?
- 你见过最不可思议的吵架理由是什么?
- 大家知道为什么艺术家都喜欢画女人体吗?
- 只用321原则备份家用Nas 数据而不组建raid阵列的人,不怕哪天备份全部同时损坏导致无法恢复吗?
最新资讯文章
- 男朋友要被裁员了,我该怎么相处?
- 明星现实中真的很漂亮吗?
- 个人小网站是怎么防止网站被攻击的?
- 前端因为像素还原设计稿而离职,这是个别现象吗?
- 高并发下怎么做余额扣减?
- 女生身高174体重120+算胖吗?
- 平面设计主KV做成这样,在你的城市薪资一般多少?
- Rust1.86才正式稳定trait的upcast,为什么在rust中这个特性实现如此复杂?
- 以前的日漫都这大胆的吗?
- Windows 下有什么用过之后就离不开的冷门软件?
- 27寸显示器是否有必要到4K?
- 降维打击是什么?
- 为什么管理一严,员工就走人?
- obsidian用一两年后会有多大?全文搜索还快吗?
- 有哪些适合编程用的显示器?
- 中国人工资不高主要原因是人口太多吧?
- 以色列为什么要打伊朗?
- 为什么bilibili后端要用go来写?
- 如何评价MiniMax开源首个视觉RL统一框架V-Triune,实现推理感知一肩挑,其技术上有何优势?
- 家为ipv6,公司ipv4,如何实现远程桌面+NAS?