我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
人类有希望走出***系吗? 
「韦东奕本人」账号确认是***的，目前已被关停，如何看待无底线博流量的行为？哪些信息值得关注？ 
鱼缸有没有简单的过滤配置搭配方式？ 
5挺马克沁机枪，能否击败50万重骑兵？ 
微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用，背后原因有哪些？ 
近日中国开始在以色列撤侨，中东是否有大战要发生？ 
地球上为什么没有演化出硅基生命，而只是演化出碳基生命？ 
2025年，歼16与美军机50分钟缠斗，为什么知乎上没有任何消息？ 
都说时尚是一个轮回，有哪些老电视剧里面的穿搭到现在都还是很潮的呢？ 
外贸独立站怎么做SEO？ 
如何做到Redis中五大数据结构底层实现？ 
哪个牌子的护肤品好呀？想给妈妈买一套抗衰老的护肤品? ***拍大尺度片子时摄影师不会看光吗？ 
伊朗是个怎么样的国家？ 
C罗赠送特朗普球衣：致唐纳德•特朗普总统，为和平而战。如何评价？ 
***如古代长城用的是C140混凝土，那千百年下来会完整的留存至今还是损坏的更加严重？ 
