menu

Home
Topics
Download
Help
Statistics
About

Contribution

Ujkan Sulejmani

This is an unofficial reimagining of the Archive of Formal Proofs

2020

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

16 Jan