2IMF15 (2023-GS3) Proving with computer assistance