Init identity matrix and jump to main#611

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/init_identity_matrix_properlyleanprover/KLR:ppotapov/init_identity_matrix_properlyCopy head branch name to clipboard