Has anyone attempted building a cardano wallet using the formal specifications posted by IOHK (https://cardanodocs.com/files/formal-specification-of-the-cardano-wallet.pdf)? I’m planning on building the wallet in Go (what I’m most comfortable in), but I’m aware Go isn’t a great choice for formal verification.
If anyone has any advice on potential pitfalls / architecture (especially those who have already attempted an implementation) some feedback upfront would be much appreciated!