A diagram editor to mechanise categorical proofs, by Ambroise Lafont (Partout team, Nov 23)

Display subtitles automatically

None
In the preferred language only when the video is using another
Always in the preferred language
Always in the original language of the video

Preferred language:

Qualities

UbiCast player

Keyboard shortcuts

Key

Action

K or space

Play / Pause

Mute / Unmute

Select next subtitles

Select next audio track

Show slide in full page or toggle automatic source change

left arrow

Seek 5s backward

right arrow

Seek 5s forward

shift + left arrow or J

Seek 10s backward

shift + right arrow or L

Seek 10s forward

control + left arrow

Seek 60s backward

control + right arrow

Seek 60s forward

shift + down arrow

Decrease volume

shift + up arrow

Increase volume

shift + comma

Decrease playback rate

shift + dot or shift + semicolon

Increase playback rate

end

Seek to end

beginning

Seek to beginning

Loading Click here to add:

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.

Information on this media

Number of views:

Creation date:

Dec. 14, 2023

Speakers:

Sylvie Putot

License:

Propriété exclusive de l’Ecole polytechnique

A diagram editor to mechanise categorical proofs, by Ambroise Lafont (Partout team, Nov 23)

Information on this media

Links:

Number of views:

Creation date:

Speakers:

License:

Other media in the channel "Séminaires du LIX"