# Specifications

Precise specifications for

* Parts of the wallet API
* Data structures used in the wallet

Additional information:

- [Formal Specification for a Cardano Wallet](https://github.com/cardano-foundation/cardano-wallet/blob/master/specifications/wallet/formal-specification-for-a-cardano-wallet.pdf)
- [Cardano Improvement Proposals (CIPs)](https://cips.cardano.org/)
