Skip to content

Commit

Permalink
Informally prove property of the chain sync mini-protocol with fixed …
Browse files Browse the repository at this point in the history 
…chain
  • Loading branch information
@javierdiaz72
javierdiaz72 committed Jan 19, 2024
1 parent 78a3e59 commit 96d45e0
Showing 1 changed file with 0 additions and 0 deletions.
Binary file added doc/Ouroboros-Mini_Protocols-Chain_Sync_Proof_Sketch.pdf
View file
Binary file not shown.

0 comments on commit 96d45e0

Please sign in to comment.