HOL-ODE-Numerics.Abstract_Rigorous_Numerics