Formal Verification with Lean

Online 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.