2IMF15 (2024-GS3) Proving with Computer Assistance