About us
Ethereum meet-up for software engineers and everyone else! YouTube: https://www.youtube.com/c/ethereumengineeringgroup
Merch Store: https://ethereum-engineering-group-shop.fourthwall.com/
More info: https://drinkcoffee.github.io/projects/meetup/
The events use Zoom as a simple Zoom meeting. This has advantages of allowing everyone to talk and ask questions. It however does mean that the meetings can at times be disrupted by time wasters. To help reduce the risk of this, a waiting room is enabled. Please aim to join the calls before the events start. Please ensure your Zoom display name matches your Meetup user name.
Upcoming events
3
Formal Verification with Lean
·OnlineOnlineOnline event: https://us06web.zoom.us/j/84513468897?pwd=SEd5TEN3Zi9XaThQRVpsVzZ4OFVmdz09
Leonardo de Moura (https://www.linkedin.com/in/leonardo-de-moura-26a27b5/) will give a deep dive on Lean.
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
4 attendees
Past events
208
