Formalizing the Ring of Adèles of a Global Field. - María Inés de Frutos-Fernández (ITP, 2022)

Formalizing Norm Extensions and Applications to Number Theory. - María Inés de Frutos-Fernández (ITP, 2023)

A Formalization of Complete Discrete Valuation Rings and Local Fields. - María Inés de Frutos-Fernández; Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio (CPP, 2024)

A Formalization of Divided Powers in Lean. - Antoine Chambert-Loir; María Inés de Frutos-Fernández (CoRR, 2025)