Especificações do Ledger Cardano
Menos de 1 minuto
O componente de especificações do Ledger (livro-razão) Cardano contém as especificações formais, modelos executáveis e implementações do livro-razão Cardano.
Para mais informações: Ir para o repositório no GitHub