Using what you learned from the Lean introduction in Lecture 1, define a type of your choosing, a function on that type, and prove a lemma about your function.
Your type, function, and lemma can be very simple, but you are encouraged to get creative. However, this assigment has super short turn around, so don't get sucked into spending too much time! Homework 1 will be released Friday which will have much more structured objectives. This assignment is just to ensure that everyone is set up :)
Due: Noon on Friday September 29 (no late submissions!)
Please work individually just for this homework and submit work in one file names `hw0.lean` via the 505 Dropbox.