Неделя 1: Natural Number Game | Формализация математики на Lean

New channel Artem Vasilyev: title sample judged 'whole' (All uploads are long-form lecture/course recordings on formal math and discrete math (Lean formalization, combinatorics,); passed a second screen for sellers/exam-prep/re-uploads; 0 of 3 sampled transcripts showed teaching, 0 not; titles picked one by one, checked strictly; oEmbed verified.