我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
上一篇 : 换设备对cs有多大提升?
下一篇 : Swift 和同时代的其他语言比起来怎么样？
汉语是牺牲了什么，才成为世界最紧凑、最高效的语言？...
夫妻开饭店双双确诊乳腺癌，职业性暴露于烹饪油烟是乳腺癌独立风险因素，日常应做好哪些防护？...
一名女子在杭州万象城遭挟持被捅 20 多刀，隆胸***体救了一命，这反映出哪些公安系统的问题？...
如何看待三峡集团总部搬迁至武汉？...
