TY  - RPRT
TI  - Verified Approximation Algorithms
AU  - Robin Eßmann
AU  - Tobias Nipkow
AU  - Simon Robillard
AU  - Ujkan Sulejmani
PY  - 2022
DO  - 10.46298/lmcs-18(1:36)2022
UR  - https://arxiv.org/abs/2104.13851
ID  - 2104.13851
ER  -