Lean: prove the R420 Fin661 COPY/scatter lifecycle - #856

Lean: prove the R420 Fin661 COPY/scatter lifecycle#856

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

chinmayarvind23:formal/r420-scatter-lifecyclechinmayarvind23/integer-mult-bounds:formal/r420-scatter-lifecycleCopy head branch name to clipboard