我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
上一篇 : 生完孩子身材依旧火辣是一种怎样的体验?
下一篇 : 有什么事在windows上显的顺理成章,在Linux上就很令人费解?
网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?...
为什么《绝区零》打磨了那么多细节的同时,却有一个灾难性的UI设计?...
韦东奕的牙怎么没了?...
编译器和解释器的分界线在哪,字节码效率能否无限接近机器码?...