Homework 11

• Preface (for installation instructions)
• Verif_sumarray, Verif_reverse (step through the proofs, no exercises)
• Verif_stack (do the exercises)
• Verif_triang (step through the proofs, don't do exercises)
• Verif_strlib (exercises up through body_strlen, no farther)
• Hashfun (do the exercises)
• Verif_hash (do as much of this as you can, but don't feel compelled to finish)

Put a (* README ... *) comment at the beginning of verif_hash.v saying whether you worked with a partner, and if so, the name of your partner.

Alternate: you may do Homework 10 instead (without a partner).