Appel, Andrew W., and Yves Bertot. “Corrigendum: C Floating-Point Proofs Layered With VST and Flocq ”. Journal of Formalized Reasoning 13, no. 1 (March 31, 2021). Accessed April 16, 2021. https://jfr.unibo.it/article/view/12643.