feat(lean4): W402 formalize cold-POR / CCLK decision tree in Lean 4 (#1305)#1306

gHashTag merged 1 commit into

mastergHashTag/t27:masterfrom

trinity-rust-ringsgHashTag/t27:trinity-rust-ringsCopy head branch name to clipboard