旧物回收类网站模板
最新公告: 诚信为本,市场在变,诚信永远不变...
产品中心
400-123-4657
电话:400-123-4657
地址:广东省广州市天河号
传真:+86-123-4567
邮箱:admin@youweb.com
新闻动态

当前位置: 首页 > 新闻动态

如何系统地学习Lean语言?

文章来源: 更新时间:2025-06-29 05:15:14

我就默认你学的是Lean4了。

可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。

The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。

上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。

如何系统地学习Lean语言?
【返回列表】

上一篇 : Go 语言几乎打了所有 Programming Language 学者的脸,然而它却成功了,为什么?

下一篇 : GitHUb上有哪些令人惊艳的开源软件?

网站首页 关于我们 产品中心 废旧知识 回收范围 服务项目 新闻动态 在线留言 联系我们

地址:广东省广州市天河区88号电话:400-123-4657传真:+86-123-4567

版权所有: 甘-ICP备38339009号-1

分享到: