Conjectura
Sign inRegister
Beta.Proofs cannot be submitted yet. The corpus is open to read, and we are looking for researchers to maintain a subject area.Maintaining a field →

Problem NT-005 — the Goldbach conjecture

goaldef

Is every even number greater than two a sum of two primes?

def goal : Prop := Conjectura.NumberTheory.GoldbachConjectureProp

Builds on

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