我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
在大型项目上，J***aScript 是个烂语言吗？ 
个人开发者或小企业不申请经营性ICP备案，怎样开发APP盈利? 
为什么程序员独爱用Mac进行编程？ 
你卡过最厉害的bug是什么？ 
如何评价电影《F1：狂飙飞车》? 
你为什么在日常生活中不敢穿的太漂亮？ 
一个非常漂亮的残疾女孩，会有人愿意娶吗？ 
宁波东方理工大学学费每人每学年 9.6 万，为什么会这么贵？ 
为什么Next.js和Nuxt.js发布时间只隔了几小时？ 
在广州，找个对象是不是真的很难？ 
能否对比一下Claude Code和Gemini CLI，你的选择建议是？ 
多个机场明确禁止携带罗马仕、安克召回型号及批次的充电宝，那这两品牌不在召回名单中的充电宝还能放心用吗？ 
男朋友说我穿衣服太开放，难道好身材不应该显示出来吗？ 
精子会残留在女性的体内嘛? 
5080显卡用个五六年可以吗？ 
为什么几乎没人用电视屏幕连主机或者笔记本当显示器？ 
