Lean — це єдиний потрібний перевірка програми. Ось чому. 🧵