C++ Toolbox for Verified Computing I | lit.salon