Brown University
CS 1951X: Formal Proof and Verification
Fall 2021

Main Navigation

  • Home
  • Schedule
  • Lectures
  • Assignments
  • Project
  • Materials
  • Staff

Assignment #6 (chs. 8 and 10)

Released on Monday 10/25/2021

Due Date: Wednesday 11/03/21, 15:00pm

[View file on GitHub]

Late Policy

  • Students may submit assignments one or two days late, up to a total of six late days over the semester. For example, you could be one day late on six different assignments; two days late on three different assignments; or any combination in between. If longer extensions are needed in exceptional circumstances, please contact the instructor directly.

The sixth assignment is available on the course GitHub page! Pull the repo to get it. This assignment covers Ch.s 8 and 10 of the Hitchhiker’s Guide.

See the instructions about pulling the repo here.

  • brown.edu