Registry · Theorem III.T66 established formalized

III.T66 — Sieve Correctness

Sieve agrees with trial division up to 200. π(10)=4, π(30)=10, π(100)=25 verified.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (2)

III.D99 III.D100

Lean Formalization

Module: TauLib.BookIII.Spectral.SieveInfrastructure

Symbol: sieve_correct_200