
如何系统地学习Lean语言?_湖北省荆州市荆州区秦细水利水电设施有限责任公司
联系人:
手机:
E-mail:
地址:
如何系统地学习Lean语言?
发布时间:2025-06-26 07:30:15 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
相关新闻
- 在男性眼里,欢愉有多重要? 根本没欢愉, 男性不过是基因的奴隶。 我尝试禁欲,最多不超...
- 南昌舰以一对二逼退外舰详情披露,哪些内容值得关注? 牛逼,很牛逼。 南昌舰这次真的干了件顶天立地的事。 在距...
- 现在已经有5K、6K、8K分辨率显示器,那么8K之后是什么? 8K之后是16K,但个人认为16K可能遥遥无期,毕竟8K都还...
- 《碟中谍 8》都有哪些槽点? 最后世界要毁灭了,已经到了最后的倒计时阶段,男主在拿到病毒后...
- 你们跟网友面过基吗?翻车了吗? 嗯,谢邀。 。 。 。 知乎一个女网友约见面。 看到发来...
- 这个世界有多少用WinRAR的付费用户? 有个老外在 WinRAR 商店上看到可以“物理交付”,他以为...