Executable specification of `cardano-ledger` generated from Agda - View it on GitHub