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.