Consultați notele de la întâlnirea / prezentarea Berlinterop despre lean @ethereum aici: