emeryberger merged plasma-umass/scalene#1070 · June 29, 2026 12:16 Formal: prove combined_stacks capacity bound + extract verified Python into production #1070 Formal verification → production: extract Lean-proven code into ScaleneExtends the formal models (PR #1068) with a bounded heavy-hitter proof and a… +919 -2 16 comments