CS430/530 Assignment 1

Last modified: January 12, 2025.

Due: Thursday, January 30, 2025

  1. Reynolds, Exercise A.2.
  2. Reynolds, Exercise A.3(b).
  3. Reynolds, Exercise A.5, except for the part corresponding to question A.4(b)4.
  4. Reynolds, Exercise A.6(b).
  5. Reynolds, Exercise A.7.
  6. Reynolds, Exercise 1.2.
  7. SF Basics (Please directly modify the abridged Basics.v file; full version at Basics.v):

Sample solutions

For the writing part, sample solutions can be downloaded here. For the coq part, sample solutions can be downloaded here. Solutions to the writing part were provided by Antonis Stampoulis. Solutions to the coq part were prepared by Longfei Qiu.