2IMF15 (2020-GS3) Proving with computer assistance