Egzamin pisemny w roku 2021 odbywał się zdalnie na platformie Moodle.
Zdający mogli wybrać jedną z dwóch ,,ścieżek'':

I. Zadania 1 i 2. Ta ścieżka wymaga użycia Coqa w zadaniu 2.

II. Zadania 1, 3 i 4. Ta ścieżka jest całkowicie teoretyczna.