Lean Formalization Evidence: Hash-Locked Sources of the Foundation Building (算器神魂论·筑基篇形式化证据, 139 .lean + 193 claims)
Lean 4 / mathlib v4.32.2 形式化源码的证据固化: 139 个 .lean 源文件 (Formal/Toolkit, PureRelative, ZeroRelative, AbsoluteRelative, NavierStokes) + 193 条 claim ledger (claims/Toolkit) + 构建配置, 全量 SHA256 锁定于 formalization_evidence_manifest.md。全部 claims PROVED, lake build 全量通过, 无 sorry。License: CC BY-NC-ND 4.0 — 任何部署、商用需要申请授权。
Authors
- Yuchen Wang
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-08-13
- DOI
- https://doi.org/10.5281/zenodo.21913539
- Primary Topic
- Advanced Authentication Protocols Security
- Type
- article
- Field-Weighted Citation Impact
- 0.00