I would not use this point in marketing too prominently, if it has not been done.
There are no formal verifications of the source code to be found.
It is not documented how the peer-reviewed papers are implemented in detail by the real-world Cardano system. (In addition to the fact that academic peer review is also not as high a standard as many non-academic proponents of Cardano seem to believe.)