GitHub repository: AndriFannar/TOL212M-Verkefni
Primary language: Dafny
Description: Verkefni í áfanganum TÖL212M Rökstudd Forritun vorið 2025