BlockSpec check_state_transition#1186

tcoratger merged 1 commit into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

turuslan:issue-1183turuslan/leanSpec:issue-1183Copy head branch name to clipboard