Cardano Ledger

https://github.com/intersectmbo/cardano-ledger

This repository contains the formal specifications, executable models, and implementations of the...

Tokens:41,871
Snippets:565
Trust Score:9
License:Apache-2.0
Update:1 month ago
Tokens:
Raw