Narkawicz, A. 2011. A Formal Proof Of The Riesz Representation Theorem. Journal of Formalized Reasoning. 4, 1 (Jan. 2011), 1–24. DOI:https://doi.org/10.6092/issn.1972-5787/1952.