Lean 4 Repository
Zero axioms, 121+ theorems, 0 sorries
View CodeKey Constants
φ = (1+√5)/2 ≈ 1.618
E_coh = 0.090 eV
τ₀ = 7.33 fs
λ_rec = 1.616e-35 m
Contact
Email: jon@recognitionphysics.org
Website: theory.us