Formally specify correctness property of the chain sync mini-protocol with fixed chain#98

javierdiaz72 wants to merge 1 commit intomasterinput-output-hk/ouroboros-high-assurance:masterfrom

enhancement/chain-sync-mini-protocol-simple-correctness-specificationinput-output-hk/ouroboros-high-assurance:enhancement/chain-sync-mini-protocol-simple-correctness-specificationCopy head branch name to clipboard