Якщо вам цікаво дізнатися про #LeanLang і ви хочете зрозуміти зв'язок між #programming і #proofs, перегляньте це чудове нове відео від Ank Yog. Аналогія між шахами і істинними судженнями особливо переконлива!