volume_up
Powered by Panopto
Powered by Panopto
arrow_back
Interactive theorem proving, automated reasoning, and dynamical systems - Jeremy Avigad, Carnegie Mellon University
playlist_play
play_arrow
pause
1x
Speed
keyboard_arrow_up
arrow_back