Abstraction boundaries and spec driven development in pure mathematics. - Johan Commelin; Adam Topaz (CoRR, 2023)

Categorical Foundations of Formalized Condensed Mathematics. - Dagur Asgeirsson; Riccardo Brasca; Nikolas Kuhn; Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio; Adam Topaz (CoRR, 2024)

Anatomy of a Formal Proof. - Jeremy Avigad; Johan Commelin; Heather Macbeth; Adam Topaz (CoRR, 2024)