Без заголовка

Я тоже делаю верификационные ката :). Доказываю/формулирую одну и ту же теорему разными способами. Т.е. делаю несколько пару тройку моделей формулировок, и каждую доказываю несколькими способами. Ну и еще потом имплементации разные делаю :). Иначе действительно не асилить.