README.md

Course Project for INF569 :

Implementation of a verification method : interval methods for initial-value problems for ordinary differential equations More detail about the work can be found in the project report.