The modules of the formal specification are generally organized following the requirements sections broken down by Section 2. The full specification documentation can be found in the specification folder. The modules are the following:

• tutorial viewing
• basic page
• interactive page
• tutorial creation
• quiz creation
• results
• admin