定定理证明 形式化验证 战术推导
· 累计使用人次 31 · 24h增量 0
基本信息
| 名称（name） | 定理证明 形式化验证 战术推导 |
|---|---|
| 简介（displayDescription） | Lean 4 定理证明辅助技能包，支持形式化验证与策略推导。 |
| 分类（categories） | 效率工具 |
| 累计使用人次 | 31 |
| 最后更新（created_at） | 2026-09-14 |
| 版本（version） | 1.0.2 |
每日记录
本服务按天记录的使用人次。共 21 天。
| 日期 | 累计使用人次 | 24h增量 |
|---|---|---|
| 2026-10-19 | 31 | 0 |
| 2026-10-18 | 31 | +2 |
| 2026-10-17 | 29 | +9 |
| 2026-10-16 | 20 | +16 |
| 2026-10-09 | 4 | 0 |
| 2026-10-08 | 4 | 0 |
| 2026-10-07 | 4 | 0 |
| 2026-10-06 | 4 | 0 |
| 2026-10-05 | 4 | 0 |
| 2026-10-04 | 4 | 0 |
| 2026-10-03 | 4 | +1 |
| 2026-10-02 | 3 | +2 |
| 2026-10-01 | 1 | 0 |
| 2026-09-30 | 1 | 0 |
| 2026-09-29 | 1 | 0 |
| 2026-09-28 | 1 | +1 |
| 2026-09-27 | 0 | 0 |
| 2026-09-26 | 0 | 0 |
| 2026-09-25 | 0 | 0 |
| 2026-09-24 | 0 | 0 |
| 2026-09-23 | 0 | — |
同类排行
按职称、花名、标签与简介的文字相似度找出的同类服务（不限分类），点「对比」与当前服务并排比较。返回 技能排行 看完整榜单。
| 排行 | 职称 | 使用人次 | 操作 |
|---|---|---|---|
| 1 | 证证明驴家班 · 数学手稿库与形式化验证 | 1 | 对比 |
| 2 | AAndroid UI 自动化验证 | 0 | 对比 |
| 3 | 体体检化验单解读 | 89 | 对比 |
| 4 |  医路逢春·化验单解读助手 |
14 | 对比 |
| 5 | 党党组织形式判定 | 3 | 对比 |
| 6 | 主主体形式对比表｜个体户与公司 | 2 | 对比 |
| 7 | 污污水化验小助手 | 1 | 对比 |
| 8 | 文文档格式化排版 | 13,251 | 对比 |