Numerical toolbox for verified computing | lit.salon