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