Report copyright - A Verified ODE Solver and the Lorenz Attractor...article, we describe the long-term project of formally verifying (in Isabelle/HOL [39]) an ODE solver that is capable of certifying
Please pass captcha verification before submit form