Problem NT-006 — the abc conjecture

Conjectura.Problems.NT006.Statement

/-
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
-/
import Conjectura.Statements.Mathematics.NumberTheory.AbcConjecture

/-! # Problem NT-006 — the abc conjecture

LOCKED: solvers cannot modify this file.
-/

namespace Conjectura.NT006

/-- Is the abc conjecture true? -/
def goal : Prop := Conjectura.NumberTheory.AbcConjectureProp

end Conjectura.NT006