我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
雷军为什么不愿意用性价比打法进军NAS？ 
吃爽了是怎样一种体验？ 
《三角洲行动》摸金模式单三跑刀最好用的角色是蜂医还是威龙？ 
大家都在哪里买电子元器件啊？ 
Edge 浏览器的评价是否在逐渐下降？ 
如何评价微软的远程桌面？ 
坚持使用 PHP 的你，如今有什么感悟？ 
汉语是牺牲了什么，才成为世界最紧凑、最高效的语言？ 
git是Linus一个人开发出来的吗？ 
使用Linux系统有什么优势，亮点在哪里？ 
陌生人晕倒了，帮他拨打120后，病人不支付120出车费，这个费用谁来承担？ 
特朗普称美国完成对伊朗三处核设施的打击，具体情况如何？伊朗会如何反击？ 
中医把脉是***吗？ 
对于一般用户来说，日常娱乐选择2K显示器还是4K显示器好？如何选才能不后悔？ 
为啥中国把《水浒传》拍得这么土？ 
Midi键盘有什么推荐？ 
