Skip to content

feat(fc): prove pruning preserves the fork-choice head and finalized checkpoint - #76

Merged
adust09 merged 7 commits into
mainfrom
feat/fc-prune-head-equiv
Jul 30, 2026
Merged

feat(fc): prove pruning preserves the fork-choice head and finalized checkpoint#76
adust09 merged 7 commits into
mainfrom
feat/fc-prune-head-equiv

merge: resolve LeanSpec.lean import conflict after #73/#74/#75 squash…

aa947c1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar