We migrated traditional worksheets from our Formal Methods for Software Engineering module to GitHub Classroom. Our goals were:
Reduce turnaround time (submission, marking, feedback, resubmission) Reduce the number of resubmissions Reduce marking effort Provide fast and actionable feedback to students during assignments We describe the migration from regular worksheets to GitHub Classroom in this experience report:
