Skip to content

feat(hex-roots): add bench/HexRoots/Bench.lean and CI wiring#8747

Merged
kim-em merged 3 commits into
mainfrom
hexroots/bench
Jul 11, 2026
Merged

feat(hex-roots): add bench/HexRoots/Bench.lean and CI wiring#8747
kim-em merged 3 commits into
mainfrom
hexroots/bench

bench(hex-roots): per-registration cost-model derivation comments

cf84c75
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar