A Formalization of Dedekind Domains and Class Groups of Global Fields. - Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio Mortarino Majno di Capriglio (J. Autom. Reason., 2022)

Corps de classes, formes modulaires, et formalisation. - Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio (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)

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