当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 上海首例认定提供爬虫程序抓取公开数据构成提供侵入计算机信息系统程序罪案,该案件有哪些细节值得关注?
- 感觉鱼缸久了底下火山石里脏脏的,能彻底换水清理一遍不?
- 如何看待Ollama基于Go语言开发而不是别的编程语言?
- 如何看待日本小学校园餐只有一小块鸡肉?
- 公司规定所有接口都用 post 请求,这是为什么?
- 你为什么放弃了wsl?
- 你的择偶标准是怎么样的?
- 媒体称以色列防空成本一晚近 3 亿美元,最多再撑 12 天,美方会支援吗?若无美补给结果会如何?
- 虽然说微服务已经很普遍了,但我看很多 gopher 为何只用 Gin单体那套,微服务都不写的?
- 为什么开发一个 AI Agent 看似容易,但真正让它「好用」却如此困难?技术瓶颈主要在哪里?
最新资讯文章
- 我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
- 伊朗发布「霍拉姆沙赫尔-4」导弹发射画面,被认为是伊朗破坏力最强导弹,其威力有多大?
- Golang 为何没孕育出一个具有社区统治力的框架?
- Rust怎么写GUI程序?
- 印度女性为什么不嫁到中国?
- Flutter 为什么没有一款好用的UI框架?
- 刘亦菲和张柏芝年轻的时候,谁更美?
- 你的低成本爱好是什么?
- 跨平台GUI框架到底应该自绘还是原生控件绑定?
- flutter为什么不用Go语言,而用Dart?
- Redis 分布式锁如何实现?
- 四十万车和十万的车有什么区别?
- 有什么是你去河南才明白的事?
- 华为Pura 80首销遇冷,是否说明消费者已经开始对麒麟芯片性能有所觉醒?
- 组nas一定要TDP低的cpu吗?
- 30马赫的导弹,近防炮能挡住吗?
- 将 Windows Server 作为个人 PC 操作系统来用是怎样的体验?
- 5挺马克沁机枪,能否击败50万重骑兵?
- 电视剧《长安的荔枝》17-20 集拍得如何?有哪些值得关注的剧情点?
- 感觉鱼缸久了底下火山石里脏脏的,能彻底换水清理一遍不?