Skip to content

Conditional κ = 0.001524207950793244: 92-pivot direct504 supplier - #533

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
chafreaky:research/direct504-kernel92
Oct 12, 2026
Merged

Conditional κ = 0.001524207950793244: 92-pivot direct504 supplier#533
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
chafreaky:research/direct504-kernel92

Merge main and retain both proof-package attribute rules

6ad231b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 12, 2026 in 24s