Repository navigation
Conditional κ = 0.0030272882389 (+3.9e-12 over #5413, numerical headroom only); exact owned-relation optimum closes the relation lever - #5462
Merged
Mister-Meeseeks merged 2 commits intoOct 25, 2026
background
wait
wait-all
cancel
parallel
Loading