volume_up
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