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