Official repo for "The Genesis of e from Modular Substrate Theory". Certifies exact algebraic identities linking e, ln 2, and ζ(0) = -1/2 with Lean 4 (0 sorries). Features a high-precision Python suite showing robust D₆ dihedral phase quantization over 10,000 non-trivial Riemann zeros with extreme statistical significance (p ≈ 10⁻⁸³).
-
Updated
Jul 16, 2026 - TeX