Library for rigorous verification of non-linear arithmetic - View it on GitHub