如何系统地学习Lean语言?

2025-06-29 08:45:11

我就默认你学的是Lean4了。

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

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

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

如何系统地学习Lean语言?
广告位810*200
相关阅读
如何看待现在大多数男人都不谈恋爱了?

如何看待现在大多数男人都不谈恋爱了?

我83年的,26岁第一次谈恋爱就是和现在的老婆谈的。 我当...

2025-06-23
一个坚持练搏击二十年的70岁老人,能打过30岁同样体重的普通人吗?

一个坚持练搏击二十年的70岁老人,能打过30岁同样体重的普通人吗?

事发大连,老爷子估计年轻的时候练过通背拳 [***] ———...

2025-06-23
Docker 如何搭建 Jenkins 构建环境?

Docker 如何搭建 Jenkins 构建环境?

jenkins 部署 docker swarm服务一、Jen...

2025-06-23
请问有没有什么工具能够生成局域网的网络拓扑结构图?

请问有没有什么工具能够生成局域网的网络拓扑结构图?

最好用、完全免费、能直接上手的软件还是Nmap。 扫描完成...

2025-06-23
你见过哪些智障的反人类的设计?

你见过哪些智障的反人类的设计?

新鲜出炉的。 一辆带有迎宾功能的新能源汽车停在马路边,车门一...

2025-06-23