GitHub repository: AndriFannar/TOL212M-Reasoned-Programming-2025
Primary language: Dafny
Description: This repository contains the weekly material, assignments, and solutions for the TÖL212M Reasoned Programming course taught in the spring of 2025.