我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
多个充电宝或电芯品牌的 3C 认证证书被暂停，涉及罗马仕、安克、绿联、倍思、安普瑞斯等，发生了什么？ 
你捡过最大的漏是什么？ 
J***aScript 已经强大到什么程度了？ 
如何评价女明星梅根福克斯的身材？ 
为啥arm架构比x86 x64省电？ 
PC电脑能不能当服务器用？ 
鱼缸里的石子有哪些作用？ 
腰椎间盘突出导致腿麻脚麻怎么办? 
有用 NAS 被联通以安全为由要求停止使用的吗？ 
字节跳动技术副总裁开源了自己与Trae合作的首个项目，如何评价目前AI开发的水平？ 
Caddy 和 Nginx 比有哪些优点和缺点？ 
为什么在网上买电脑主机会被称为整机烈士？ 
孩子在「手表圈」里「混圈、相亲、打赏积分」，为何孩子们的通讯工具会变得这么「乱」？家长该怎么引导？ 
为什么美军B2实战以后4v认为一部分网友又没信心了？ 
各省的省超出来后（类似于苏超），中超是不是就废了？ 
NAS的盘是否需要一次性买齐？ 
