Cardano ledger specs
The Cardano ledger specifications component contains the formal specifications, executable models, and implementations of the Cardano ledger.
For more information: Go to GitHub repo
The Cardano ledger specifications component contains the formal specifications, executable models, and implementations of the Cardano ledger.
For more information: Go to GitHub repo