Skip to content

Construct rational orthogonal witnesses for complete inverse circuits - #5315

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/five-more-20261023-r1
Oct 23, 2026
Merged

Construct rational orthogonal witnesses for complete inverse circuits#5315
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/five-more-20261023-r1

Construct exact orthogonal witnesses for complete inverse circuits

9bebc26
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 20s