当前位置: 首页 >
如何系统地学习Lean语言?_内蒙古自治区巴彦淖尔市五原县饭券全汽摩附属产品有限责任公司
文章出处:网络 人气:发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 到底是9800x3d+5070ti还是u7+5080?
- 如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
- 为何最近几年清朝剧越来越少了?
- 如何看待英舰穿过台湾海峡?英国有什么目的?
- postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
- 女生身高 170cm 以上是什么样的体验?
- 以色列为什么突然敢打伊朗了?不怕被报复?
- 人常说女人味,到底是个什么味?
- 为什么现在年轻人存不下钱?
- 字节大量使用新语言,包括go,rust等,为什么阿里一直都抱着j***a不松手?
最新资讯文章
- 腾讯开源的 libco 号称千万级协程支持,那个共享栈模式原理是什么?
- 如何判断鱼缸中的硝化系统是否已经成功建立?
- 参考 FreeBSD,随着 Ruby 的没落,GitHub、GitLab 是否会去 Ruby 化?
- 评价一下Proxmox VE与ESXi的优劣?
- 狗头萝莉究竟做错了什么?
- PHP 已经诞生 30 年,它对你意味着什么?
- 如何评价前端框架 Solid?
- 为什么前端精通Node.js的人这么少?
- 如何看待Ollama基于Go语言开发而不是别的编程语言?
- DeepSeek 那么厉害为什么要开源?
- 如何优雅劝退他人做自媒体?
- 重庆一酒店小熊猫叫早服务引争议被叫停,小熊猫与人亲密接触存在哪些安全隐患?动物园开动物主题酒店合理吗?
- 以色列为什么突然敢打伊朗了?不怕被报复?
- 央企的信创,是否有必要把 spring 替换成国产的 solon ?
- 如何评价首个女性友好的编程语言HerCode?
- 什么是 5G 固定无线接入(FWA)?
- 如何评价前端框架 Solid?
- 如果我写个脚本,一直跌的股票一旦上涨就立刻(1s内)买,接着一旦下跌就立刻(1s内)卖,会怎样?
- duckdb的性能如何?
- 系统该怎样架构才能处理实时热点数据?