Я новичок в lean - prover, и я пытаюсь найти примеры из онлайн-учебника . Я застрял в этом примере,...
Скажем, вам дан массив целых чисел со знаком, называемый NUMBERS длиной r. Скажем, NUMBERS равно 1,...