Assignment 1: Dafny Programming and Lemmas

    Assignment 2: Loop Invariants

    Assignment 3: Package Manager

    Assignment 4: Mini Dafny

    Assignment 5: Rocq Basics

    Assignment 6: Rocq Tactics