Document the design decisions of the Praos specification #22
Description
Behind the Ouroboros Praos specification there are various design decisions regarding what aspects we model and what aspects we leave out. We shall document these design decisions.