我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
如何评价《灵笼 2》第六集？ 
如何自己搭建家庭服务器？ 
入职第一天有什么瞬间让你马上想离职的？ 
你的鱼缸里养过什么奇怪的鱼？ 
如何看待CCTV13批评“L2.999智驾”等误导性宣传，若导致事故车企可能需要担责？ 
各位都在用Docker跑些什么呢？ 2025年，Gitea 和 GitLab 应当如何选择？ 
你们的腰突是怎么突然好的？ 各位都在用Docker跑些什么呢？ 
能不能通过养殖方法，把淡水鱼身上***除掉？然后再售卖做刺身，超级爱吃刺身，很害怕寄身虫? 
如何看待 Mac mini M4 支持可更换 SSD？ 
养乌龟如何降低换水频率？ 
排版用什么软件比较好啊？ 大家买的房子都跌了多少呀？ 
为什么很多离异的30-40岁的女性，很难找到老公再婚？ 
腰陆陆续续疼了一年多了，这个是腰突吗? 
