我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
折叠屏手机有哪些有用或好玩的功能，你过去不理解，现在离不开？ 
如何看待「冰淇淋界 LV」哈根达斯在中国市场出现关店潮？谁击退了哈根达斯？你还会花高价购买冰淇淋吗？ 
为什么负荷那么大的腰部力量训练的人不会受伤，长期无载荷久坐的人会出现腰肌劳损？ 
外包是一种什么体验？ 
黄晓明上戏考博落榜，本人回应「明年再战」，怎样看明星对高学历的追求？上戏博士有多难考？ 
国家为什么要把国企等企业电脑全部换成Linux环境？能不能从专业的角度分析一下？ 
出门问问发布Agentic AI软硬结合产品TicNote，如何评价这个产品？ 
Typescript真的有用吗？ 
哪张照片让你觉得刘亦菲美得不可方物？ 
我想问为什么现在玩dnf的人越来越少了，退游的人越来越多？ 
同事间的「奶茶社交」到底弊大于利还是利大于弊？作为职场新人，该如何应对这种社交方式？ 
为什么广东人敢生？对别的省份提高生育率有哪些可借鉴学习之处？ 
曹操出行上市首日破发，股价下跌 17％，市值失守 200 亿港元，如何看待这一表现？ 
如何评价高圆圆的身材算是美女类型的吗？ 
PNG ，GIF ， JPG ，的区别有哪些？ 
你被哪个后来知道很sb的BUG困扰过一周以上吗？ 
