The ledger implementation and specifications of the Cardano blockchain.
Why do you think that https://gitlab.com/nomadic-labs/mi-cho-coq is a good alternative to cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Why do you think that https://gitlab.com/nomadic-labs/mi-cho-coq is a good alternative to cardano-ledger