当前位置: 首页 >
如何系统地学习Lean语言?_上海市崇明区阳召差灯具股份公司
文章出处:网络 人气:发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如何看2024年,小米的企业所得税实际纳税额超过华为?
- 如何评价剪映svip,599一年,有替代方案吗?
- 我弟弟用管理员身份把我和爸妈的WIFI 设置了,现在就他能用网,气不过,有办法让我出口气吗 ?
- 胸部隆胸***体能放多久?
- 有哪些是你用上了mac才知道的事?
- 美国重新工业化有多难?
- 国密加密算法有多安全呢?
- 如何看待「苏超」赞助商1个月增加超200%,达到中超2倍?
- 《甄嬛传》中祺贵人为什么和甄嬛反目?
- 初三画成这样算是有天赋吗?【正经求助】?
最新资讯文章
- 医院为什么很不用安宫牛黄丸急救?
- 国产手机AI「好用」的背后,是技术差距还是文化差异?
- LCD党真的只是少部分人吗?
- 橘猫为什么广受欢迎?
- 米哈游创始人蔡浩宇称AIGC将彻底改变游戏行业,游戏创造只属于顶尖团队,普通开发者建议转行,如何理解?
- 在中国,住哪里才没有噪音污染?
- 钱学森弹道为什么只有中国能掌握?
- 超级喜欢穿短裙正常吗?
- 为什么证券从业人员不许炒股?
- 到底是9800x3d+5070ti还是u7+5080?
- 商城里如何缓存商品信息?
- 是什么原因导致HDR无法推行?
- 为什么负荷那么大的腰部力量训练的人不会受伤,长期无载荷久坐的人会出现腰肌劳损?
- 冬天也要穿胸罩吗?
- 黑客为什么可以做到无需知道源码的情况下找出系统漏洞?
- 初学者做游戏用godot还是unity好?
- 橘猫为什么广受欢迎?
- 中国 5 月 Swift 人民币在全球支付中占比下降至 2.89%,背后的原因和未来的发展趋势是什么?
- 内蒙古通报那尔那茜定向委培争议,称其涉嫌高考报名材料造***,将严肃追责问责,涉事人员面临哪些责任处罚?
- 黑客为什么可以做到无需知道源码的情况下找出系统漏洞?