Comment by renyicircle

Well, adding more Lean verifications was something they were planning to do from the start, so it's no surprise that they did. The withdrawals are more interesting in that regard. I don't really understand why they didn't only put out the results that had Lean verification already. This way they could avoid the withdrawal thing, because these papers didn't have Lean, and also add whole new papers after they had Lean code for them, which would be the title of the post then.