Coq Resources

• Coq Lab Sheet 1: An Introduction to Coq
• Coq Lab Sheet 2: Propositional Logic in Coq

Dafny Resources

• Dafny Lab Sheet 1: An Introduction to Dafny
• Dafny Lab Sheet 2: Termination and Simple Invariants
• Dafny Lab Sheet 3: Loops and Loop Invariants
• Dafny Lab Sheet 4: Frames, References, Mutability
• Designing Invariants: Using Dafny to Verify Nontrivial Programs

Haskell Resources

• Haskell Assignment Sheet 1
• Haskell Assignment Sheet 2