2IMF15 (2019-GS3) Proving with computer assistance