精實理論物理

描述

一項用於理論物理證明和推導的工作流程技能，它在 Lean 4 中形式化了機器可驗證的數學，同時在代理和用戶的推理循環中assumptions保留了物理建模、直覺、近似、經驗、可視化和頭腦風暴。它包括範圍分類、橋接審核、證明工作流程指導、驗證規則、故障排除和當前生態系統參考。

你將獲得什麼

• 在機器驗證的數學和未經驗證的物理推理之間劃清界限。
• 可重複使用的 Lean 4 實體推導驗證和除錯工作流程。
• 明確的假設追蹤和橋接審計報告。
• 指導如何在不誇大形式覆蓋範圍的情況下整合 mathlib、Physlib 和 SciLean。

鏈上身份

公開元數據

文件

主文檔雜湊是主 Markdown 檔案明文的 SHA-256。內容承諾雜湊覆蓋驗證過的 SkillRoot 根結構；舊版 Skill 覆蓋明文 ZIP。它不是下載檔案的雜湊。