Problem NT-005 — the Goldbach conjecture

Conjectura.Problems.NT005.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.GoldbachConjecture

/-! # Problem NT-005 — the Goldbach conjecture

LOCKED: solvers cannot modify this file.
-/

namespace Conjectura.NT005

/-- Is every even number greater than two a sum of two primes? -/
def goal : Prop := Conjectura.NumberTheory.GoldbachConjectureProp

end Conjectura.NT005