CS428/528 Assignment 1

Last modified: September 4, 2014.

Due: Thursday, September 11, 2014

This assignment is ready. Please make sure you get the latest abridged versions uploaded on September 4, 2014.

  1. SF Basics (Please directly modify the abridged Basics.v file; full version at Basics.v):

  2. SF Induction (Please directly modify the abridged Induction.v file; full version at Induction.v):

  3. SF Lists (Please directly modify the abridged Lists.v file; full version at Lists.v):

  4. SF Poly (Please directly modify the abridged Poly.v file; full version at Poly.v):