Assignment 3 Download and build F*. Write and prove the correctness of a nontrivial program. Present your case study to the class.