我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
特朗普发文要求伊朗无条件投降，并被曝考虑加入对伊空袭，有哪些目的？伊朗会弃核求生吗？ 
为什么广西盛产鬼火少年? 
iOS 26 的新设计被吐槽丑，苹果在设计更新时考虑了哪些因素？你对这一设计都有哪些评价？ 
足球的地面身体对抗和肌肉体重关系大，还是和技巧关系更大？ 
为什么人到中年，很少有身材苗条的？ 
中年夫妻有多少生活和谐的？ 
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架？ 
黑客为什么可以做到无需知道源码的情况下找出系统漏洞？ 
哪个牌子的护肤品好呀？想给妈妈买一套抗衰老的护肤品? 
B站的众多教做饭和烹饪的厨师up主的资历与实力应如何排序？ 
曾经的班花，现在还多少人惦记？ 
小米汽车官方解释了刹车盘生锈属于正常现象，并提供了两种除锈功能，这些措施是否足够有效？ 
你是什么时候发现老婆出轨的? 
为什么体制内的领导喜欢在晚上，周末和法定节***日开会？ 有没有免费的云服务器? 
Flutter 为什么没有一款好用的UI框架？ 
