The Hales-Jewett Theorem. - Ujkan Sulejmani; Manuel Eberl; Katharina Kreuzer (Arch. Formal Proofs, 2022)

Verified Approximation Algorithms. - Robin Eßmann; Tobias Nipkow; Simon Robillard; Ujkan Sulejmani (Log. Methods Comput. Sci., 2022)