LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。

带有该标签的 Skills：定理证明

浏览带有该标签的技能列表。

  • lean4-proof - 在 Lean 4 中完成序列与收敛性的数学证明。
    lean4定理证明数学序列

    ★ 13 · 更新于 2026-09-14

    完成 Lean 4 中序列与收敛性的数学证明，并确保类型检查无警告通过。

    ⚙ 完成 Lean 4 数学证明⚙ 证明序列与级数性质⚙ 使用 Lean 工具链验证证明
  • numina-lean-agent - Lean 4 定理证明工具包
    lean4定理证明形式化验证

    ★ 279 · 更新于 2026-09-09

    Lean 4 定理证明工具包，用于搜索引理、验证证明、修复代码及生成非形式化证明。

    ⚙ 搜索引理⚙ 验证证明⚙ 反驳命题
  • proof-by-contradiction - 反证法：数学证明技术
    数学证明逻辑定理证明

    ★ 4 · 更新于 2026-02-14

    通过假设否定并推导矛盾来证明数学陈述

    ⚙ 否定数学陈述⚙ 推导逻辑结果⚙ 识别矛盾模式
  • skill-lean-research - Lean研究技能
    研究leanmathlib定理证明

    ★ 5 · 更新于 2026-02-13

    研究Lean 4和Mathlib以进行定理证明任务。用于Lean语言研究。

    ⚙ 验证任务状态⚙ 更新研究状态⚙ 创建标记文件