Software EngineeringMeetupFreeOnline
Formal Verification with Lean
Wed 13 May · 02:30
< 50 attendees
About this event
Online event: https://us06web.zoom.us/j/89027050620?pwd=Zwwz3Le89nC48ayGXPbtd9BYnMKimp.1
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.
Source: meetup