Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio. A Formalization of Dedekind Domains and Class Groups of Global Fields. Journal of Automated Reasoning, 66(4):611-637, 2022. [doi]
Abstract is missing.