Assignment 4: Mini Dafny🔗

Due: Friday, Nov 14, 11:59PM

Project 4 can be found in ELMS Files->Projects->P4-mini-dafny.zip

Submitting🔗

Submit the file labeled mini_dafny_int.py 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.