Formally verified numerical integration of an ordinary differential equation
Primary LanguageCoqMIT LicenseMIT