(1)
Narkawicz, A. A Formal Proof Of The Riesz Representation Theorem. JFR 2011, 4, 1-24.