Wenn du neugierig auf #LeanLang bist und die Verbindung zwischen #Programmierung und #Beweisen verstehen möchtest, schau dir dieses großartige neue Video von Ank Yog an. Die Analogie zwischen Schach und wahren Aussagen ist besonders überzeugend!
5,49K