Problem NT-003 — the twin prime conjecture
goaldef
Are there infinitely many pairs of primes differing by two?
def goal : Prop :=
∀ N : ℕ, ∃ p : ℕ, N < p ∧ Conjectura.NumberTheory.IsTwinPrimePair p (p + 2)Builds on
import Conjectura.Problems.NT003.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