https://telegra.ph/Formalnaya-verifikaciya-nachalo-01-02 Небольшое начало большого цикла о формальной верификации, типах и лямбдах. В этой статье лишь задаю минимальный базис, а не занимаюсь чем-то серьезным