Skip to content

Faster verification: concurrent checks, make verify-parallel, faster paired-cube frames, no joint-dual re-pins - #154

Closed
eumemic wants to merge 3 commits into
CrocSwap:mainfrom
eumemic:efficiency/verify-speedup
Closed

Faster verification: concurrent checks, make verify-parallel, faster paired-cube frames, no joint-dual re-pins#154
eumemic wants to merge 3 commits into
CrocSwap:mainfrom
eumemic:efficiency/verify-speedup

Speed up the paired-cube frame algebra with identical results

f571bcb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (matrix)
succeeded Oct 9, 2026 in 39s