adityabagchi2002-boop. (2026). adityabagchi2002-boop/LEAN-VALIDATED-PROOF-OF-COLLATZ-CONJECTURE: Finite-State Deterministic Validation of Collatz Conjecture (Formally Validated). Zenodo.
Chicago-Zitierstil (17. Ausg.)adityabagchi2002-boop. Adityabagchi2002-boop/LEAN-VALIDATED-PROOF-OF-COLLATZ-CONJECTURE: Finite-State Deterministic Validation of Collatz Conjecture (Formally Validated). Zenodo, 2026.
MLA-Zitierstil (9. Ausg.)adityabagchi2002-boop. Adityabagchi2002-boop/LEAN-VALIDATED-PROOF-OF-COLLATZ-CONJECTURE: Finite-State Deterministic Validation of Collatz Conjecture (Formally Validated). Zenodo, 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.