Proving Lean Video

Stream: general

[Tim Daly]

Likely a repost but this is a youtube talk about proving in Lean: https://www.youtube.com/watch?v=2FQOakOfP00

[Scott Morrison]

This was at a summer school on "quantum symmetries" (higher categories/topological field theory/topological phases of matter). The students seemed to enjoy it and had lots of questions afterwards, and at least a few apparently installed Lean

[Bryan Gin-ge Chen]

I'm glad my version of the web editor was useful! I noticed you went fullscreen at one point to get more space; you can also click the green / orange bar at the very top to hide everything above the editor and infoview.