interface CourseProgressimport { type CourseProgress } from "https://deno.land/x/gesso@v0.1.2/types/models.ts"; Propertiesrequirement_count: numberrequirement_completed_count: numbernext_requirement_url: stringcompleted_at: Date