search

input-output-hk / ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family
Apache License 2.0
1 stars 1 forks source link

Address feedback from Praos specification walkthrough #66

Open javierdiaz72 opened 1 year ago

javierdiaz72 commented 1 year ago

This will ultimately resolve #64.

javierdiaz72 commented 1 year ago

Note: I'm leaving this pull request as a draft for now until the walkthrough is finished.