我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
{dede:pagebreak/}
为什么小米造车可以叫小米，而华为不可以用华为品牌造车？ 
为什么有的女生喜欢穿紧身牛仔裤？ 
有没有免费的云服务器? 
外贸独立站怎么做SEO？ 
为什么 m1 ***用大小核设计却没有 intel 的问题？ 
Golang与Rust哪个语言会是今后的主流？ 
蜜雪冰城香港门店被通报「产品大肠菌群超标 70%」，哪些环节可能导致大肠菌群超标？会对身体有哪些危害？ 
如何看待M4单核性能吊打9950x? 
印度是真的烂还是咱们在信息茧房里面？ 
广州的公共交通为什么这么烂？ 
内塔尼亚胡***访时公开威胁，不排除干掉哈梅内伊，如何评价这一言论？伊朗会亡国吗？ 
postgresql也很强大，为何在中国大陆，mysql成为主流，postgresql屈居二线呢？ 
如何部署Prometheus监控K8S？ 
如何评价张靓颖刘宇宁《九万字》? 
大家猜猜伊朗的结局如何？ 
狗头萝莉究竟做错了什么？ 
