Admin的用户贡献

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

2025年5月12日 (星期一)