First Project (Dafny)

3 outubro 2021, 21:44 • José Fragoso Santos

The first project is now available in the section Projects. 
The deadline for the project is the 22nd of October, 2021. 
If something is unclear in the assignment, don't hesitate to ask!