The write-ups are one thing and more of a cherry on top but I would say the more pressing matter is the lack of Lean formalization which means you can't really say it has been (dis)proven or not.

I didn't check but I thought they included lean certificates. That seems like an obvious thing to do. How do we even know any of this is right?