van Emde Boas Trees. - Thomas Ammer; Peter Lammich (Arch. Formal Proofs, 2021)

Number Theoretic Transform. - Thomas Ammer; Katharina Kreuzer (Arch. Formal Proofs, 2022)

A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows. - Mohammad Abdulaziz; Thomas Ammer (ITP, 2024)

A Formal Analysis of Algorithms for Matroids and Greedoids. - Mohammad Abdulaziz; Thomas Ammer; Shriya Meenakshisundaram; Adem Rimpapa (CoRR, 2025)