新页面
2025年5月12日 (星期一)
- 00:312025年5月12日 (一) 00:31 Lean语法扩展 （历史 | 编辑） [4,230字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean语法引用 （历史 | 编辑） [4,351字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean元数据访问 （历史 | 编辑） [4,546字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean战术编写 （历史 | 编辑） [4,508字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean转换器 （历史 | 编辑） [4,399字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean评估器 （历史 | 编辑） [8,851字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean宏定义 （历史 | 编辑） [4,793字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean反射API （历史 | 编辑） [4,091字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean编译期计算 （历史 | 编辑） [4,376字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean元编程简介 （历史 | 编辑） [4,793字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean DSL开发 （历史 | 编辑） [4,641字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean项目自动化 （历史 | 编辑） [4,399字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean自定义决策过程 （历史 | 编辑） [6,014字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean代码生成 （历史 | 编辑） [6,359字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean证明风格指南 （历史 | 编辑） [3,725字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean战术系统 （历史 | 编辑） [5,160字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean命题与定理 （历史 | 编辑） [4,935字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean证明状态 （历史 | 编辑） [4,934字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean基本战术 （历史 | 编辑） [4,405字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean证明重用 （历史 | 编辑） [3,547字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean简单证明示例 （历史 | 编辑） [4,036字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean证明简介 （历史 | 编辑） [4,968字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean公理系统 （历史 | 编辑） [3,190字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean证明调试 （历史 | 编辑） [4,448字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean形式化数学 （历史 | 编辑） [4,276字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean证明模式 （历史 | 编辑） [4,280字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean引理与推论 （历史 | 编辑） [5,476字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean项目结构 （历史 | 编辑） [4,655字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean安装与环境配置 （历史 | 编辑） [4,286字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean第一个程序 （历史 | 编辑） [4,076字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean导入与模块 （历史 | 编辑） [4,661字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean简介与历史 （历史 | 编辑） [4,637字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean命名规则 （历史 | 编辑） [4,765字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:312025年5月12日 (一) 00:31 Lean命令行界面 （历史 | 编辑） [3,776字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean语法基础 （历史 | 编辑） [4,063字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean错误信息理解 （历史 | 编辑） [3,644字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean基本操作符 （历史 | 编辑） [4,956字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean注释 （历史 | 编辑） [3,321字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean交互式开发 （历史 | 编辑） [4,184字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean编辑器设置 （历史 | 编辑） [3,606字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean常用快捷键 （历史 | 编辑） [3,150字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean递归数据结构 （历史 | 编辑） [5,099字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean归纳证明 （历史 | 编辑） [5,119字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean互递归定义 （历史 | 编辑） [5,413字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean归纳定义 （历史 | 编辑） [6,865字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean Acc关系 （历史 | 编辑） [4,786字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean测度函数 （历史 | 编辑） [4,659字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean递归证明 （历史 | 编辑） [4,871字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean嵌套递归 （历史 | 编辑） [3,831字节] Admin（留言 | 贡献） （Page creation by admin bot）
- 00:302025年5月12日 (一) 00:30 Lean良基归纳 （历史 | 编辑） [4,024字节] Admin（留言 | 贡献） （Page creation by admin bot）