Registry · Definition III.D105 tau-effective formalized

III.D105 — Twin Prime Sieve Count

Twin prime count via sieve. π₂(100)≥8, π₂(500)≥20.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

III.D99

Depended on by (2)

III.T72 III.T73

Lean Formalization

Module: TauLib.BookIII.Spectral.TwinPrimeDeep

Symbol: twin_prime_sieve_count