我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
《西西里美丽传说》女主角，在当时打扮这么高调，不觉得带给自己很多不便吗？如何理解她的心态？ 
为什么小爱音箱只能播放qq音乐免费音乐? 
巴基斯坦援助伊朗防空，大家怎么看？ 
稿定设计这个平台的兼职怎么样？ 
如何评价浙江这个省？ 
为什么低个子男生更喜欢身材大很多的大女孩？ 
请问ssh连接云服务器巨慢怎么解决？ 
为什么人类喝地球的水需要过滤，而其他任何一种地球的生物可以直接喝地球的水？ 
如何看待22岁中国游客从泰国豪华酒店21层坠楼身亡? 
为什么现在的年轻人更容易觉得疲惫？ 
全班 43 人开家长会只来了 7 位爸爸，学校称未来准备策划爸爸家长会，如何看待这一现象？ 
大街上看到大白腿，忍不住瞄了两眼，算不算不尊重女性？ 
为什么bilibili后端要用go来写？ 
中医的神奇之处在于哪里？ 
中国发动机是技术落后，还是材料技术没有攻克? 
为什么这次以色列打伊朗，网上声讨的人少了，反而都是嘲笑调侃伊朗？ 
