Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
obsidiansystems
Fetched on 2024/05/01 20:51
obsidiansystems
/
cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release -
View it on GitHub
Star
0
Rank
11284634