| 名称（name） | 证明驴家班 · 数学手稿库与形式化验证 |
|---|---|
| 简介（displayDescription） | 大型数学手稿库的检索、解读、Lean 形式化构建与 Comparator 独立验证，含族目录、学科地图与模块地图。 |
| 分类（categories） | 信息资讯教育学习数据分析 |
| 累计使用人次 | 1 |
| 最后更新（created_at） | 2026-10-10 |
| 版本（version） | 1.0.0 |
| 日期 | 累计使用人次 | 24h增量 |
|---|---|---|
| 2026-10-19 | 1 | 0 |
| 2026-10-18 | 1 | 0 |
| 2026-10-17 | 1 | 0 |
| 2026-10-16 | 1 | — |
| 排行 | 职称 | 使用人次 | 操作 |
|---|---|---|---|
| 1 | 定定理证明 形式化验证 战术推导 | 31 | 对比 |
| 2 | 艺艺术动画驴家班 | 6 | 对比 |
| 3 | AAI 答案引擎驴家班 | 1 | 对比 |
| 4 | AAndroid UI 自动化验证 | 0 | 对比 |
| 5 | 数数学证明几何动画视频 | 161 | 对比 |
| 6 | 党党组织形式判定 | 3 | 对比 |
| 7 | 主主体形式对比表｜个体户与公司 | 2 | 对比 |
| 8 | 文文档格式化排版 | 13,251 | 对比 |