Als je nieuwsgierig bent naar #LeanLang en de verbinding tussen #programmeren en #bewijzen wilt begrijpen, bekijk dan deze geweldige nieuwe video van Ank Yog. De analogie tussen schaken en ware proposities is bijzonder overtuigend!