adityabagchi2002-boop. (2026). adityabagchi2002-boop/LEAN-VALIDATED-PROOF-OF-COLLATZ-CONJECTURE: Finite-State Deterministic Validation of Collatz Conjecture (Formally Validated). Zenodo.
Chicagoスタイル(17版)引用形式adityabagchi2002-boop. Adityabagchi2002-boop/LEAN-VALIDATED-PROOF-OF-COLLATZ-CONJECTURE: Finite-State Deterministic Validation of Collatz Conjecture (Formally Validated). Zenodo, 2026.
MLA(9版)引用形式adityabagchi2002-boop. Adityabagchi2002-boop/LEAN-VALIDATED-PROOF-OF-COLLATZ-CONJECTURE: Finite-State Deterministic Validation of Collatz Conjecture (Formally Validated). Zenodo, 2026.
警告: この引用は必ずしも正確ではありません.