2IMF15 (2025-GS3) Proving with Computer Assistance