Formal specification of the Ouroboros Leios protocol variants - View it on GitHub