Address feedback from Praos specification walkthrough#66

javierdiaz72 wants to merge 2 commits intomasterinput-output-hk/ouroboros-high-assurance:masterfrom

enhancement/praos-walkthrough-feedbackinput-output-hk/ouroboros-high-assurance:enhancement/praos-walkthrough-feedbackCopy head branch name to clipboard