Registry · Theorem III.T72 tau-effective formalized

III.T72 — Twin Primes to 500

At least 20 twin prime pairs below 500. Extended from 30 (Wave M9).

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

III.D105

Lean Formalization

Module: TauLib.BookIII.Spectral.TwinPrimeDeep

Symbol: twin_primes_500