Verified Approximation Algorithms by Robin Eßmann, Tobias Nipkow, Simon Robillard and Ujkan Sulejmani Jan 16