我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
都2024年了，Golang还是不温不火吗？Go究竟能干什么？ 
为什么我还是无法理解transformer？ 
为什么以前的老人带孩子那么容易，自己带孩子确感觉很难，是矫情吗? 
和校花谈恋爱是什么体验？ 
你们的腰突是怎么突然好的？ 
我国为什么没有类似CIA和克格勃的对外情报机构？ 
Docker 如何搭建 Jenkins 构建环境？ 
为什么腰突不受到医学界的重视？ 你们的腰突是怎么突然好的？ 
如何评价字节研发的 AI IDE 编程助手工具豆包 MarsCode？ 用PHP写了个小框架，怎么才能得到大佬们的指点？ 
如何看待alist被转手出售***？ 
年纪轻轻为什么会得腰肌劳损？ 
为什么鸿蒙PC要排斥Linux生态？ 
养乌龟是什么体会？ 
老公想要买2万左右的相机，我该同意吗？ 
