Hacker News Reader

The crypto modules are indeed open source. https://github.com/wireapp

I don't know whether they have been formally audited.

That would be the source of some crypto code, not necessarily the code the app itself uses. Since the app is closed, there's no way to verify.