Skip to content

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

Merged
adust09 merged 1 commit into
mainfrom
feat/fc6-update-head-wellformed
Jul 20, 2026
Merged

feat(fc): prove FC-6 update_head preserves the store invariants#61
adust09 merged 1 commit into
mainfrom
feat/fc6-update-head-wellformed

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

a901a07
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar