Jeśli jesteś ciekawy #LeanLang i chcesz zrozumieć związek między #programowaniem a #dowodami, sprawdź ten świetny nowy filmik od Anka Yoga. Analogia między szachami a prawdziwymi propozycjami jest szczególnie przekonująca!