Even if that's the case, they aren't even mentioned. I'm guessing Lean failed on the 3 that got withdrawn. And it makes even less sense in that light, because there are 6 verified new things to be explored and built upon, yet the many are putting all that energy into the failures, as if seeking out some hidden truth or something.
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.
