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