You can export a lesson's marks as a CSV, for your own mark book or to upload into your school's system.
Downloading them
Open the classroom from the sidebar, go to Assignments, click the assignment and then the lesson.
On the Students tab, click CSV above the table.
The export follows whatever filter is applied, so if you have narrowed the list the download matches what you can see.

