我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
中国民间中小工厂能快速造出武器吗?
冬天也要穿胸罩吗?
如何判断鱼缸中的硝化系统是否已经成功建立?
刚玩摄影半年,大佬们看看我有什么可以提升的地方吗?
我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
DF-41已经可以打击美国本土,这是否相当于古巴导弹危机常态化?
如何评价《灵笼 2》第六集?
大家猜猜伊朗的结局如何?
不用CDN就没事,用阿里云CDN就被攻击刷流量,阿里云表示证明不了就要用户买单,如何看到这种行为?
伊朗警告以色列居民尽快撤离,称将展开真正惩罚性打击,伊朗还有哪些底牌?以伊冲突会演变为中东全面战争吗?
电话:
座机:
邮箱:
地址: