我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
程序员都干过哪些很刺激的事情？ 
究竟怎么学习IOS 开发啊？ 
是去干程序员还是公务员? 
我国以前禁用过手机WIFI，为什么后来又允许了？ 
鱼缸有没有简单的过滤配置搭配方式？ 
2025年了，京东是不是已经度过了此次风波？ 
什么是 5G 固定无线接入（FWA）？ 
Unity做游戏为什么当物体销毁后其下的各种引用不用手动释放内存而委托***必须取消订阅以防内存泄露？ 为什么现在吹Rust的人这么多？ 
NextJS的全栈能力现在如何了? 
作为最后一个「香港四大才子」，蔡澜的离去是否标志着香港黄金文化时代的落幕？ 
Caddy 和 Nginx 比有哪些优点和缺点？ 
如果肯德基的员工忍不住偷吃了一个鸡翅怎么办？ 
MacBook的诱惑在哪里？ 
程序员加班的真正原因是什么？ 
为啥有好多人说 Arduino 是玩具？ 
