Once one is versed in the system, it takes about one week of full-time work to have a textbook page formally verified.
Ist man einmal mit dem System vertraut, braucht es etwa eine Woche Vollzeitarbeit, um eine Textbuchseite formal verifizieren zu lassen.