Formal Specification for a Cardano Wallet


#1