Rolf Hammer

C++ toolbox for verified computing I