feat(val): prove VAL-1 proposers are selected round-robin - #39

feat(val): prove VAL-1 proposers are selected round-robin#39

adust09 merged 1 commit into

mainNyxFoundation/formal-leanSpec:mainfrom

feat/val-1-proposer-round-robinNyxFoundation/formal-leanSpec:feat/val-1-proposer-round-robinCopy head branch name to clipboard