Has the Bitcoin source code ever been formally audited?

Emm316
0
0

Has the Bitcoin source code ever been formally audited?

Shit-coiners have been claiming that their coins are "more secure" than Bitcoin because their coin's code have been "audited".

Is there a formal code audit performed on Bitcoin that can be used to shut these dumb-asses up?

Surely one of the big players like Saylor would have had the code audited before entry?