Appel, A. W.; Bertot, Y. Corrigendum: C Floating-Point Proofs Layered With VST and Flocq . JFR 2020, 13.