Registry · Definition III.D102 tau-effective formalized

III.D102 — Sieve-Accelerated Goldbach

Goldbach verification using sieve primality. Pushes bound from 100 to 500.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (2)

III.D99 III.D95

Depended on by (2)

III.T68 III.T69

Lean Formalization

Module: TauLib.BookIII.Spectral.GoldbachDeep

Symbol: goldbach_sieve_check