Ouroboros Leios Formal Specification

This section contains the formal specification of the Ouroboros Leios protocol, written in Agda. The specification provides a mathematical foundation for the protocol's properties and guarantees.