Planning the last year of the project that basically consists of assessing the delivered outputs: The Quiz repository, Code Defenders and FormalZ.