**价值** physlib 旨在把物理学的定理、公式和推导形式化为 Lean 代码，使得科研人员和教学工作者能够在交互式证明助理中验证、复用和扩展已有的物理结果。它为 **形式化物理学** 提供了一个公开、可协作的代码库，帮助提升结果的可靠性、可审计性以及后续自动化推理的可能性。 **典型接入方式** | 步骤 |