Gitstar Ranking

input-output-hk / utxo-wallet-specification

Formal specification for a UTxO wallet - View it on GitHub
https://cardanodocs.com/files/formal-specification-of-the-cardano-wallet.pdf
Star
1
Rank
4876830