GitHub repository: 65440-2023/video-subtitles-2023
Created: 2023-09-05T14:27:01Z
Description: Subtitles for lecture videos recorded in 2023; PR fixes welcome!