Zenodo (CERN)open access
Lean-Verified Chronos Yang–Mills Formalization: Gauge Covariance, Gauss Constraints, Regulated Hamiltonians, Exact Physical Spectrum, and Unitary Evolution — YM1–YM87
Lean theorem prover, formal verification, Yang–Mills theory, gauge theory, non-abelian gauge field, Gauss law, lattice gauge theory, Hamiltonian
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 1055885
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.