APA (7th ed.) Citation

Itakura, H. (2026). A Lean 4 Proof Architecture for a Normalized 4D Mass Gap Theorem Phase 3 Spectral Gap Formalization and External-Audit Boundary. Zenodo.

Chicago Style (17th ed.) Citation

Itakura, Hidetoshi. A Lean 4 Proof Architecture for a Normalized 4D Mass Gap Theorem Phase 3 Spectral Gap Formalization and External-Audit Boundary. Zenodo, 2026.

MLA (9th ed.) Citation

Itakura, Hidetoshi. A Lean 4 Proof Architecture for a Normalized 4D Mass Gap Theorem Phase 3 Spectral Gap Formalization and External-Audit Boundary. Zenodo, 2026.