CAS 707, 2018-01-08, Exercise 1

Before the Wednesday lecture, work through the F* tutorial at https://www.fstar-lang.org/tutorial/ up to and including at least section 4.2, do all exercises there, and then prove that membership in the reverse of a list is equivalent to membership in that list.

Bring your proof to the Wednesday lecture.