Problem NT-004 — the Collatz conjecture

goaldef

Does the Collatz iteration reach one from every positive start?

def goal : Prop := Conjectura.NumberTheory.CollatzConjectureProp

Builds on

Collatz conjecture

import Conjectura.Problems.NT004.Statement · maintainer — open · raw source

Copyright (c) 2026 The Conjectura Authors. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: The Conjectura Authors

Full credits