feat(fc): prove FC-6 update_head preserves the store invariants - #61

feat(fc): prove FC-6 update_head preserves the store invariants#61

adust09 merged 1 commit into

mainNyxFoundation/formal-leanSpec:mainfrom

feat/fc6-update-head-wellformedNyxFoundation/formal-leanSpec:feat/fc6-update-head-wellformedCopy head branch name to clipboard