Marmare314/random_lean_things

Just a random collection of things I did in lean.