Advice for Building a Cardano Wallet


Has anyone attempted building a cardano wallet using the formal specifications posted by IOHK ( 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!