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.
- SF MoreCoq
(Please directly modify the abridged MoreCoq.v file;
full version at MoreCoq.v):
- SF Logic
(Please directly modify the abridged Logic.v file;
full version at Logic.v):
- Extra credits, required for graduate students: classical_axioms; to undergrads: don't spend too much time on it.