精益理论物理

描述

一项用于理论物理证明和推导的工作流程技能，它在 Lean 4 中形式化了机器可验证的数学，同时在代理和用户的推理循环中assumptions保留了物理建模、直觉、近似、经验、可视化和头脑风暴。它包括范围分类、桥接审核、证明工作流程指导、验证规则、故障排除和当前生态系统参考。

你将获得什么

• 在机器验证的数学和未经验证的物理推理之间划清界限。
• 可重用的精益 4 物理推导证明和调试工作流程。
• 明确的假设跟踪和桥接审计报告。
• 指导如何在不夸大形式覆盖范围的情况下整合 mathlib、Physlib 和 SciLean。

链上身份

公开元数据

文件

主文档哈希是主 Markdown 文件明文的 SHA-256。内容承诺哈希覆盖校验过的 SkillRoot 根结构；旧版 Skill 覆盖明文 ZIP。它不是下载文件的哈希。