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

Open

javierdiaz72 wants to merge 1 commit intomasterfrom enhancement/chain-sync-mini-protocol-simple-correctness-specification

+37

Commits on Jan 15, 2024

Specify property of the chain sync mini-protocol with fixed chain
javierdiaz72
committed