feat: structured-to-unstructured forward soundness for simple-shape programs (small-step)#1348

PROgram52bc wants to merge 35 commits into

htd/structured-to-unstructured-small-step-infrastrata-org/Strata:htd/structured-to-unstructured-small-step-infrafrom

htd/structured-to-unstructured-small-step-proofstrata-org/Strata:htd/structured-to-unstructured-small-step-proofCopy head branch name to clipboard