Skip to content

benchmarks: construct an order-12 Hadamard certificate - #593

Merged
morluto merged 4 commits into
mainfrom
agent/conjecture-hadamard-order12
Aug 7, 2026
Merged

benchmarks: construct an order-12 Hadamard certificate#593
morluto merged 4 commits into
mainfrom
agent/conjecture-hadamard-order12