Introduction to the Lean proof assistant and programming language. http://leanprover.github.io/
Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting
The meeting id and password will be distributed to attendees via the conference Slack workspace.
