A diagram editor to mechanise categorical proofs, by Ambroise Lafont (Partout team, Nov 23)
| Action | Key |
|---|---|
| Play / Pause | K or space |
| Mute / Unmute | M |
| Toggle fullscreen mode | F |
| Select next subtitles | C |
| Select next audio track | A |
| Toggle automatic slides maximization | V |
| Seek 5s backward | left arrow |
| Seek 5s forward | right arrow |
| Seek 10s backward | shift + left arrow or J |
| Seek 10s forward | shift + right arrow or L |
| Seek 60s backward | control + left arrow |
| Seek 60s forward | control + right arrow |
| Seek 1 frame backward | alt + left arrow |
| Seek 1 frame forward | alt + right arrow |
| Decrease volume | shift + down arrow |
| Increase volume | shift + up arrow |
| Decrease playback rate | < |
| Increase playback rate | > |
| Seek to end | end |
| Seek to beginning | beginning |
You can right click on slides to open the menu
Share this media
Subscribe to notifications
When subscribed to notifications, an email will be sent to you for all added annotations.
Your user account has no email address.
Other media in the channel "Séminaires du LIX"
8 views, 8 this year, 8 this monthMathematical Programming, Distance Geometry, and their relations to Theoretical Computer Science, by Leo Liberti (Optimix team)February 21st, 2025
7 views, 7 this year, 5 this monthInterpolation between fundamental and peak quasisymmetric functions, by Ekaterina Vasssilieva (Combi team)February 7th, 2025
11 views, 11 this year, 2 this monthLogical methods for the control and the certification of autonomous driving systems, by Jérémy Ledent (Cosynus team)November 28th, 2024
4 views, 4 this year, 1 this monthThe fascination of Green's functions and their applications in Computer Graphics (Jiong Chen, Geomerix team)November 28th, 2024
27 views, 27 this year, 1 this monthQuantum simulation with Neural Quantum States, by Filippo Vicentini (CPHT, April 2024)April 28th, 2024
17 views, 17 this yearHallucinations in textual generation, by Oana Balalau (Cedar team, March 24)April 9th, 2024