我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
俄罗斯为什么不用苏57？ 
以色列为什么突然敢打伊朗了？不怕被报复？ 
被执行人欠我26万，一次性付清20w和解，我该同意吗? 
为什么洗碗机洗一次碗要3个小时，结果还是那么多年轻人决定要买一台放在家里？ 
腰肌劳损怎嘛治啊? 
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗？ 
Firefox是如何一步一步衰落的？ 
有没有根据题库自动生成考卷的软件？ 
为什么Go仅仅160MB的安装包就可以编译程序，而Rust却还需要几个GB的VC++才能编译？ 
你的低成本爱好是什么？ 
请教啦！如何强化腰腹部呢？ 
如何看待三峡集团总部搬迁至武汉？ 
Python+rust会是一个强大的组合吗？ 
最近看独立开发者，做记账 软件赚到很多钱，我也开发一个，会不会碾压？ 
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架？ 
JetBrains 放弃 AppCode 是否是一个错误决定？ 
