2IMF15 (2022-GS3) Proving with computer assistance