Lean 4 formalization scaffold for Wave Confinement Theory support lemmas: dimensional closure, curvature dimensions, positivity, Koide domain safety, and Fourier identities.
-
Updated
Jul 10, 2026 - Lean
#
wave-confinement
Here are 2 public repositories matching this topic...
NIST atomic spectra log-cosine scanner for testing Fe II bin-stable spectral-density structure in logarithmic wavenumber coordinates.
-
Updated
Jul 10, 2026 - R
Improve this page
Add a description, image, and links to the wave-confinement topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the wave-confinement topic, visit your repo's landing page and select "manage topics."