我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
为什么有些NAS用户弄那么多硬盘? 
如何看待伊朗最高领袖哈梅内伊 6 月 18 日发布“必须强力打击以色列，永不妥协”的声明？ 
大家在做登录功能时，一般怎么做暴力破解防护？ 
媒体称以色列防空成本一晚近 3 亿美元，最多再撑 12 天，美方会支援吗？若无美补给结果会如何？ 
现在为什么没有黑客了？ ***拍大尺度片子时摄影师不会看光吗？ 
请问一下图中***的名字，谢啦？ 
Swift 和同时代的其他语言比起来怎么样？ 
辍学的00后都在做什么? 
亚克力鱼缸这么容易模糊吗? 
docker 容器启动后如何添加端口映射？ 
住在一个脏乱差的家里十几年是什么感受？ 
中国民间中小工厂能快速造出武器吗？ 
NAS的盘是否需要一次性买齐？ 
吃爽了是怎样一种体验？ 
可以分享你的一张背影照吗？ 
