Assignment 1: Dafny Programming and Lemmas🔗

Due: Tuesday, Sep 23, 11:59PM

Project1.dfy can be found in ELMS Files->Projects->Project1.dfy

Submitting🔗

Submit the file labeled Project1.dfy to gradescope. Please do not rename this file.

Grading🔗

Your submission will be graded for correctness. You are strongly encouraged to add your own tests to ensure the correctness of your solutions.