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