Lean 4/mathlib proofs from minimal change: Gaussian source, natural-number arithmetic with expression histories, unique factorization, gauge and matter structures, generated Yang-Mills action and attained spectral gap. Machine-checked mathematics with explicit theorem-to-paper maps.
Lean Updated 17 days ago 1 commits
nexus-bot|Mirror: bookwormseagull1980/Lean-Formalization-of-Arithmetic-and-Basic-Physical-Interfaces (⭐0)
17 days agoAbout
Lean 4/mathlib proofs from minimal change: Gaussian source, natural-number arithmetic with expression histories, unique factorization, gauge and matter structures, generated Yang-Mills action and attained spectral gap. Machine-checked mathematics with explicit theorem-to-paper maps.
Readme