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.
- SF Prop
(Please directly modify the abridged Prop.v file;
full version at Prop.v):
- SF MoreLogic
(Please directly modify the abridged MoreLogic.v file;
full version at MoreLogic.v):