At this Ethereum Engineering Group event, Leonardo de Moura will give a deep dive on Lean, an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
🗓 Wednesday, May 13, 2026
🕔 Time: 12:30 PM – 1:30 PM AEST
📍 Zoom call
✨ Ethereum Engineering Group is a meetup for software engineers, computer scientists, researchers, and technologists who want to understand the Ethereum platform and associated technologies. Since March 2020, the Ethereum Engineering Group meetup has been run via Zoom, online. The timing during the day of the meetup depends on who is talking and what part of the world they live in.