Micro-credentials are short, certified courses of assessed learning that are additional to a formal educational degree