Last updated 3 years ago
Was this helpful?
()
- Plutus language implementation and tools.
- Formal specification and executable model of the ledger rules introduced by the Shelley release.
- Integration of the ledger, consensus, networking and node shell repositories.
- NixOps deployment configuration for IOHK/Cardano devops.