CS428/528 Assignment 2

Last modified: September 12, 2014.

Due: Thursday, September 18, 2014

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

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


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