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