Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. - Anne Baanen; Alex J. Best; Nirvana Coppola; Sander R. Dahmen (CPP, 2023)