No. Lean being bug-free is a far bigger claim.

A bug which has allowed 700 proofs from diverse fields of math to appear as proven, and noone has figured it out yet?

	▲	afdbcreid a day ago \| parent [-]
		A single bug can usually allow you to prove anything you want. Saying that this is how the proofs were achieved is a totally different matter though, and probably incorrect.