Skip to content

Cut five layers that cost more than they proved - #48

Merged
mkuznets merged 1 commit into
mainfrom
simplify-verification-apparatus
Aug 15, 2026
Merged

mkuznets merged 1 commit into
mainfrom
simplify-verification-apparatus

Cut five layers that cost more than they proved

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

Annotations

1 warning

The logs for this run have expired and are no longer available.