CS428/528 Assignment 3

Last modified: September 19, 2014.

Due: Thursday, September 25, 2014

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

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

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