Towards Solid Abelian Groups: A Formal Proof of Nöbeling's Theorem. - Dagur Asgeirsson (ITP, 2024)

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

A formal characterization of discrete condensed objects. - Dagur Asgeirsson (CoRR, 2024)