Se você está curioso sobre #LeanLang e quer entender a conexão entre #programação e #provas, confira este ótimo novo vídeo de Ank Yog. A analogia entre xadrez e proposições verdadeiras é particularmente convincente!