Appel, A. W., & Bertot, Y. (2020). Corrigendum: C floating-point proofs layered with VST and Flocq . Journal of Formalized Reasoning, 13(1). https://doi.org/10.6092/issn.1972-5787/12643