Registry · Theorem III.T64 tau-effective formalized

III.T64 — Goldbach at Primorial Levels

Goldbach at primorial levels: every even number up to min(M_k, 100) has a Goldbach representation. Primorial sieve guarantees sufficient prime density. Verified at depth 3.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (2)

III.D95 III.D96

Depended on by (1)

III.P40

Lean Formalization

Module: TauLib.BookIII.Spectral.AdditiveConjectures

Symbol: goldbach_primorial_3