Roth's Theorem on Arithmetic Progressions by Chelsea Edmonds, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson Dec 28

Szemerédi's Regularity Lemma by Chelsea Edmonds, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson Nov 05

Upper Bounding Diameters of State Spaces of Factored Transition Systems by Friedrich Kurz and Mohammad Abdulaziz Oct 12

Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm by Peter Lammich May 28

An Axiomatic Characterization of the Single-Source Shortest Path Problem by Christine Rizkallah May 22