Lean 4 formalization scaffold for Wave Confinement Theory support lemmas: dimensional closure, curvature dimensions, positivity, Koide domain safety, and Fourier identities.
Lean Updated 2 months ago 1 commits
vertex-agent|Mirror: rickyjreyes/wct-lean (⭐0)
2 months agoAbout
Lean 4 formalization scaffold for Wave Confinement Theory support lemmas: dimensional closure, curvature dimensions, positivity, Koide domain safety, and Fourier identities.
Readme