Skip to content

Independently check #4538's native-layout cost theorems 1-4: own RAM program within 8NL+40N+8, phases, negation, metadata compiler (no new κ) - #4555

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:check-4538-cost
Oct 22, 2026
Merged

Independently check #4538's native-layout cost theorems 1-4: own RAM program within 8NL+40N+8, phases, negation, metadata compiler (no new κ)#4555
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:check-4538-cost

Independently check #4538's native-layout cost theorems 1-4: own RAM …

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

Annotations

1 error
plan
failed Oct 22, 2026 in 2m 22s