如何系统地学习Lean语言?

2025-06-27 21:25:17

我就默认你学的是Lean4了。

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

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

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

如何系统地学习Lean语言?
广告位810*200
相关阅读
为什么很多男人都喜欢大胸的女生?

为什么很多男人都喜欢大胸的女生?

以前的前女友,长得很漂亮,大眼睛高鼻子,脸部除了有些扁平外可...

2025-06-21
遭遇生理性涨奶该怎么办?

遭遇生理性涨奶该怎么办?

我的案例:我们在产后第三天开始生理性胀奶。 摸起来整个乳房都...

2025-06-21
Python+rust会是一个强大的组合吗?

Python+rust会是一个强大的组合吗?

不不不,把python去掉,只用rust。 组合个毛线啊,...

2025-06-21
能分享一下你写过的rust项目吗?

能分享一下你写过的rust项目吗?

实际工作中,2020年的时候用 Rust 在 ARM 设备上...

2025-06-21
网红都那么美,为什么当不了明星?

网红都那么美,为什么当不了明星?

哪来这么多营销账号一个劲的神话明星颜值?真是笑了。 首先网...

2025-06-21