• Homework1: Ex 2.2.6 and 2.2.7 in the textbook. Due in class on Sept. 1st.
  • Homework 2: Due in class on Sept. 8th.
  • Homework 3: Due in class on Sept. 15th.
  • Homework 4: Due in class on Sept. 22nd.
  • Homework 5: Due in class on Sept. 29th.
  • Homework 6: Due in class on Oct. 22nd (Thursday)
  • Homework 7 (9 points): Prove all theorems in the first exercise under the heading "Extra Exercises" of the file Basics.v (9 in total); Due on Nov. 24th; submit your completed file in Blackboard.
  • Homework 8 (8 points): Finish the exercises under the heading "List exercises, Part 1" of the file Lists.v; you will need to provide an implementation of nonzeros before proving the last one; Due on Dec 1st; submit your completed file in Blackboard.