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

Commits

  1. Commits on Aug 15, 2026