当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 一台主机上只能保持最多 65535 个 TCP 连接吗?
- 什么是 5G 固定无线接入(FWA)?
- 华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
- 无性婚姻是一种怎样的体验?
- systemd吞并了什么?
- 坚持使用 PHP 的你,如今有什么感悟?
- 为什么现在在西瓜越来越贵了?
- docker怎么修改拉取源从指定的国内仓库拉取镜像?
- 如何评价Cursor?
- 你身边身材最好的女生是什么样?
最新资讯文章
- 如何利用cursor快速理解复杂代码工程?
- 如何评价【极客湾】在直播中实锤【B 站不交保护费就限流】?
- 中年夫妻有多少是生活和谐的?
- 如何评价高圆圆的身材算是美女类型的吗?
- 为什么有些前端一直用 div 当按钮,而不是用 button?
- 如何评价Cursor?
- 曼德拉是南非的罪人吗?
- 如何看待暴露但很还原的cos?
- 为什么人到中年,很少有身材苗条的?
- REDMI K80 至尊版手机搭载 7410mAh 电池,此款手机有哪些亮点?
- 蜂鸟音乐指控邓紫棋侵权,要求 48 小时内下架重录歌曲,邓紫棋回应「不会下架」,这一指控合理吗?
- 什么时候你意识到做技术永无出路?
- Android为什么不直接执行Linux的程序?而是自己搞一套?
- 什么是 5G 固定无线接入(FWA)?
- 福特级航母的电磁弹射到底出了什么问题?
- 能发一张在暧昧期的聊天记录吗?
- 和女生合租,都会发生什么事情?
- 海胆到底是什么味道?
- 你是什么时候发现老婆出轨的?
- 到底是9800x3d+5070ti还是u7+5080?