feat(fc): prove FC-2 the head descends from latest justified - #45

feat(fc): prove FC-2 the head descends from latest justified#45

adust09 merged 1 commit into

mainNyxFoundation/formal-leanSpec:mainfrom

feat/fc-2-head-descends-from-justifiedNyxFoundation/formal-leanSpec:feat/fc-2-head-descends-from-justifiedCopy head branch name to clipboard