Lihat catatan dari pertemuan / presentasi Berlinterop tentang lean @ethereum di sini: