Hvis du er nysgjerrig på #LeanLang og ønsker å forstå sammenhengen mellom #programming og #proofs, sjekk ut denne flotte nye videoen av Ank Yog. Analogien mellom sjakk og sanne utsagn er spesielt overbevisende!
6,32K