Review the Praos specification #25
Description
The initial Ouroboros Praos specification in this repository was moved here from the ouroboros-high-assurance repository, which is now called high-assurance-legacy. This code still needs documentation and requires some polishing. For the most part, it has never been reviewed.
We shall review the complete code and file issues for everything that is necessary to do, in particular polishing and documenting.