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.
isabelle-utp/Verified_Numerical_Methods
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|