Citação norma APA

Ednyashev, S., & Logos. (2025). A Spectral Proof of the Riemann Hypothesis Formalized in Lean. Zenodo.

Citação norma Chicago

Ednyashev, Sanal, and Logos. A Spectral Proof of the Riemann Hypothesis Formalized in Lean. Zenodo, 2025.

Citação norma MLA

Ednyashev, Sanal, and Logos. A Spectral Proof of the Riemann Hypothesis Formalized in Lean. Zenodo, 2025.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.