Skip to content

Pack Newton membership into nine guarded subtractions (no κ) - #6681

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1102n-original-step
Open

petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1102n-original-step

perf(research): pack bounded Newton membership

4195c5c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
plan
cancelled Nov 3, 2026 in 10m 5s