This repository contains supplemental material from the paper "Verifying Numerical Methods with Isabelle/HOL". The theory files can be opened using one of the Isabelle/UTP 2025 bundles from https://isabelle-utp.york.ac.uk/download. You will need to use the "ITree_Numeric_VCG" session.