Ознайомитися з нотатками з Берлінтеропської зустрічі/презентації на тему lean @ethereum можна тут: