VERIFIED APPROXIMATION ALGORITHMS. - ESSMANN, ROBIN; NIPKOW, TOBIAS; ROBILLARD, SIMON; SULEJMANI, UJKAN (Logical Methods in Computer Science (LMCS), 2022)