我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
跟领导坐一辆车下乡，连司机共三人，领导问我「听说办公室主任人缘不好，你有听说吗？」，我该怎么回答？ 
如果中国的商用飞机是由小米来造，而不是中国商飞，现在会是怎样的情况？ 
有一个***约你出去，你会去吗？ 
为什么感觉现在的国产电视剧越来越不堪入目？ 
cloudflare的1.1.1.1和warp有什么区别？ 
为什么剪映导出***时码率与原***一样，变得更模糊？ 
你看过哪些以为是段子新闻，结果发现居然是真的？ 
为什么市场不制作***向黄油？ 
为什么软件公司很少用python开发web? 如何电脑下载Adobe audition? 
为什么现在没人提猎鹰9号了？ 
梁朝伟和刘青云等人为什么都没要孩子？ 
怎么快速部署一个大模型? 
以色列是如何从三天前的不可一世要灭了伊朗到今天的哭哭啼啼要“为生存而战”的？ 
如何评价Steam新游《捞女游戏》? 
前端如何设计网页？ 
