soft question – Reference request for Miyaoka’s wrong proof of FLT

Before Wiles and Taylor’s proof of Fermat’s Last Theorem, some mathematician called Miyaoka famously (and wrongly) claimed to have solved the problem, at least for sufficiently large prime exponts. However, i have never seen the proof anywhere on the web. Does anyone know where or how i can find it ?