To export contacts, check the corresponding boxes and then select Export. You can download the file as an Excel sheet or a CSV. You can find detailed instructions here.