Классная игра "Natural Number Game" (an introduction to mathematical proof).
На базе прувера Lean 4.

Хорошо бы сделать такое по теории групп например, ну а моя мечта -- по гомотопической теории типов. Скоро раздуплюсь со всем остальным, и возьмусь наверное только за это.

На выходных можно поиграть, а также посмотреть слегка в тему фильмы "21" 2008-го года, и "Поедем с тобой в Макао" Романа Михайлова.

"Почему числа прекрасны? Это всё равно что спрашивать, почему прекрасна Девятая симфония Людвига ван Бетховена. Если вы не понимаете почему, никто не сможет вам объяснить. Я знаю, что числа прекрасны. Если они не прекрасны, то не прекрасно ничто".
-- Пал Эрдёш

Деньги – это заменитель счастья. Когда вы несчастливы, вы пытаетесь заполучить побольше денег, ещё больше денег. Люди, которые очень скупы в том, что касается денег, это очень несчастные люди.