It has been pointed out to me that Go Yamashita has a preprint on his website, A proof of ABC conjecture after Mochizuki, that is not in the RIMS Preprints online archive.
- Is that work intended for publication?
- Does it present sketches of Mochizuki's main arguments or is it a detailed presentation of his works?